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...
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...
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...