«comonad» etiketlenmiş sorular

Bu, önceki sorumun cevabının devamı niteliğindedir. Ben her öğeyi eşleştirmeniz gerekir varsayalım a:Aarasında List[A]hiç b:Bfonksiyonu ile def f(a:A, leftNeighbors:List[A]): Bve üretmek List[B]. Açıkçası sadece maplisteden arayamam ama liste fermuarını kullanabilirim . Fermuar, bir listede hareket etmek için kullanılan bir imleçtir. Geçerli öğeye ( focus) ve komşularına erişim sağlar . Şimdi …

112 scala  functional-programming  zipper  comonad 

Haskell'deki Comonad tip sınıfı nedir? Comonad paketindeki Control.Comonad'dan Comonad'da olduğu gibi (Comonad tip sınıfını sağlayan diğer paketlerin açıklamalarına da açığız). Komonad hakkında belirsiz bir şekilde duydum, ama gerçekten tek bildiğim, bunun Monad'lara extract :: w a -> abir çeşit paralellik sağladığı return :: a -> m a. Comonad'ın "gerçek" kullanımlarını …

105 haskell  typeclass  comonad 

Devlet monad Ürün (Sol - Functor) ve Okuyucu (Sağ Temsil Edilebilir) içine çarpanlarına ayrılabilir. Devam Monad'ı çarpanlarına ayırmanın bir yolu var mı? Kod aşağıda benim girişim, hangi tip kontrol alışkanlık -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, TypeSynonymInstances #-} type (<-:) o …

11 haskell  monads  continuations  category-theory  comonad