Pertanyaan yang diberi tag «monads»

Apa indeks monad dan motivasi untuk monad ini? Saya telah membaca bahwa itu membantu untuk melacak efek samping. Tetapi tipe tanda tangan dan dokumentasi tidak membawa saya ke mana pun. Apa yang akan menjadi contoh bagaimana itu dapat membantu untuk melacak efek samping (atau contoh valid lainnya)?

98 haskell  monads 

Saya baru mengenal pemrograman fungsional dan baru-baru ini belajar di Learn You a Haskell , tetapi ketika saya melewati bab ini , saya terjebak dengan program di bawah ini: import Control.Monad.Writer logNumber :: Int -> Writer [String] Int logNumber x = Writer (x, ["Got number: " ++ show x]) multWithLog …

97 haskell  monads 

Saya sedang mengerjakan Tulis Skema Sendiri dalam 48 Jam (saya memiliki waktu hingga sekitar 85 jam) dan saya telah sampai pada bagian tentang Menambahkan Variabel dan Tugas . Ada lompatan konseptual yang besar dalam bab ini, dan saya berharap hal itu dilakukan dalam dua langkah dengan refactoring yang baik di …

91 variables  haskell  monads  state-monad  ioref 

Hackage memiliki beberapa paket untuk trafo monad: mtl : Perpustakaan trafo Monad Transformer : Trafo functor dan monad beton monads-fd : Kelas monad , menggunakan dependensi fungsional monads-tf : Kelas Monad, menggunakan keluarga tipe monadLib : Kumpulan transformator monad. mtl-tf : Pustaka transformator monad menggunakan keluarga tipe. mmtl : Perpustakaan …

91 haskell  monads  monad-transformers 

Saya benar-benar tidak memahami Map dan FlatMap. Yang gagal saya pahami adalah bagaimana pemahaman-for adalah urutan panggilan bersarang ke map dan flatMap. Contoh berikut adalah dari Pemrograman Fungsional di Scala def bothMatch(pat:String,pat2:String,s:String):Option[Boolean] = for { f <- mkMatcher(pat) g <- mkMatcher(pat2) } yield f(s) && g(s) diterjemahkan menjadi def bothMatch(pat:String,pat2:String,s:String):Option[Boolean] …

87 scala  map  monads  for-comprehension 

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 

Saya mencoba untuk mendefinisikan keluarga mesin negara dengan jenis negara yang agak berbeda. Secara khusus, mesin negara yang lebih "kompleks" memiliki keadaan yang dibentuk dengan menggabungkan keadaan mesin negara yang lebih sederhana. (Ini mirip dengan pengaturan berorientasi objek di mana objek memiliki beberapa atribut yang juga objek.) Ini adalah contoh …

9 haskell  state  monads  monad-transformers  state-monad 

Saya benar-benar berjuang dengan memahami callCC. Saya mendapatkan kekuatan Kelanjutan dan saya telah menggunakan konsep di beberapa proyek saya untuk membuat konsep keren. Tetapi saya tidak pernah perlu menggunakan sesuatu dengan kemampuan yang lebih besar dari itu cont :: ((a->r)->r)-> Cont r a. Setelah menggunakannya, masuk akal mengapa mereka menyebut …

9 haskell  functional-programming  monads