Pertanyaan yang diberi tag «applicative»

Sambil menjelaskan kepada seseorang apa tipe kelas X itu, saya berjuang untuk menemukan contoh struktur data yang tepat yaitu X. Jadi, saya meminta contoh untuk: Tipe konstruktor yang bukan merupakan Functor. Tipe konstruktor yang merupakan Functor, tetapi tidak berlaku. Tipe konstruktor yang merupakan Aplikasi, tetapi bukan Monad. Tipe konstruktor yang …

210 haskell  monads  functor  applicative 

Aplikasi menulis, monads tidak. Apa maksud pernyataan di atas? Dan kapan yang satu lebih disukai daripada yang lain?

110 haskell  functional-programming  monads  monad-transformers  applicative 

Saya sedang belajar Aplikasi Haskell. Sepertinya saya (saya mungkin salah) bahwa purefungsi ini tidak benar-benar diperlukan, misalnya: pure (+) <*> [1,2,3] <*> [3,4,5] dapat ditulis sebagai (+) <$> [1,2,3] <*> [3,4,5] Adakah yang bisa menjelaskan manfaat yang diberikan purefungsi tersebut daripada pemetaan eksplisit fmap?

19 haskell  applicative 

The Applicativetypeclass mewakili longgar monoidal functors yang melestarikan struktur monoidal Cartesian pada kategori fungsi diketik. Dengan kata lain, diberikan kesaksian isomorfisme kanonik yang (,)membentuk struktur monoid: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) -> ((a, b), …

9 haskell  functor  applicative  category-theory