Pytania otagowane jako applicative

5
Dobre przykłady Not a Functor / Functor / Applicative / Monad?
Wyjaśniając komuś, czym jest klasa X, staram się znaleźć dobre przykłady struktur danych, które są dokładnie X. Proszę o przykłady: Konstruktor typów, który nie jest Functorem. Konstruktor typów, który jest Functorem, ale nie ma zastosowania. Konstruktor typów, który jest aplikacyjny, ale nie jest monadą. Konstruktor typów, który jest Monadą. Myślę, …
1
Rozróżnienie między typeklasami MonadPlus, Alternative i Monoid?
Średnia Biblioteka Haskell typeclasses MonadPlus, Alternativei Monoidkażdy zapewniają dwie metody z zasadniczo tą samą składnię: Pusta wartość: mzero, empty, lub mempty. Operator a -> a -> a, który łączy wartości w typeclass razem: mplus, <|>, lub mappend. Wszystkie trzy określają te prawa, których powinny przestrzegać instancje: mempty `mappend` x = …
2
Potrzeba czystego w aplikacjach
Uczę się Aplikacji Haskella. Wydaje mi się (prawdopodobnie się mylę), że purefunkcja nie jest tak naprawdę potrzebna, na przykład: pure (+) <*> [1,2,3] <*> [3,4,5] można zapisać jako (+) <$> [1,2,3] <*> [3,4,5] Czy ktoś może wyjaśnić zalety tej purefunkcji w porównaniu z jawnym mapowaniem fmap?
3
Czy wszystkie pojemniki o stałym rozmiarze są silnymi funktorami monoidalnymi i / lub odwrotnie?
Ta Applicativeklisza reprezentuje luźne funktory monoidalne, które zachowują kartezjańską monoidalną strukturę w kategorii typowanych funkcji. Innymi słowy, biorąc pod uwagę obserwowane kanoniczne izomorfizmy, które (,)tworzą strukturę monoidalną: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) -> ((a, …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.