প্রশ্ন ট্যাগ «comonad»

এটি উত্তরের একটি ফলোআপ আমার আগের প্রশ্নের । আমি প্রতিটি আইটেমের ম্যাপ প্রয়োজন ধরুন a:Aএর List[A]থেকে b:Bফাংশন def f(a:A, leftNeighbors:List[A]): Bএবং উৎপন্ন List[B]। স্পষ্টতই আমি কেবল mapতালিকায় কল করতে পারি না তবে আমি তালিকার জিপারটি ব্যবহার করতে পারি । জিপার একটি তালিকার চারদিকে ঘোরাতে কার্সার। এটি বর্তমান উপাদান ( focus) …

112 scala  functional-programming  zipper  comonad 

হাস্কেলের কমোনাড টাইপক্লাস কী? থেকে Comonad মতই comonad প্যাকেজের মধ্যে Control.Comonad (যে কোন অন্যান্য প্যাকেজের প্রদান একটি Comonad typeclass রয়েছে ব্যাখ্যা স্বাগত জানাই)। আমি কমোনাড সম্পর্কে অস্পষ্টভাবে শুনেছি, তবে আমি এটি সম্পর্কে যা জানি তা হ'ল এটি মোনাডের extract :: w a -> aসমান্তরাল এক ধরণের সরবরাহ করে return :: …

105 haskell  typeclass  comonad 

যেমন রাজ্য মনাদকে পণ্য (বাম - ফান্টেক্টর) এবং পাঠক (ডান - প্রতিনিধিত্বযোগ্য) হিসাবে চিহ্নিত করা যায়। কন্টিনিয়েনশন মোনাডকে ফ্যাক্ট্রি করার কোনও উপায় আছে? কোডের নীচে আমার চেষ্টা, যা চেক পছন্দ করে না -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, TypeSynonymInstances #-} type …

11 haskell  monads  continuations  category-theory  comonad