Pertanyaan yang diberi tag «comonad»

Ini merupakan tindak lanjut dari jawaban atas pertanyaan saya sebelumnya. Misalkan saya perlu untuk memetakan setiap item a:Adari List[A]untuk b:Bdengan fungsi def f(a:A, leftNeighbors:List[A]): Bdan menghasilkan List[B]. Jelas saya tidak bisa begitu saja memanggil mapdaftar tetapi saya bisa menggunakan daftar ritsleting . Ritsleting adalah kursor untuk bergerak di sekitar daftar. …

112 scala  functional-programming  zipper  comonad 

Apa kelas tipe Comonad di Haskell? Seperti dalam Comonad dari Control.Comonad dalam paket comonad (penjelasan tentang paket lain yang menyediakan kelas tipe Comonad juga diterima). Saya samar-samar pernah mendengar tentang Comonad, tetapi yang saya benar-benar tahu tentang itu adalah penyediaan extract :: w a -> a, semacam paralel dengan Monad …

105 haskell  typeclass  comonad 

Sebagai Negara monad dapat difaktorkan menjadi Produk (Kiri - Functor) dan Pembaca (Kanan - Representable). Apakah ada cara untuk memfaktisasi Monad Lanjutan? Kode di bawah ini adalah upaya saya, yang tidak akan memeriksa jenis -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, TypeSynonymInstances …

11 haskell  monads  continuations  category-theory  comonad