Als «applicative» getaggte Fragen

1
Unterscheidung zwischen Typklassen MonadPlus, Alternative und Monoid?
Die Standard-Bibliothek Haskell typeclasses MonadPlus, Alternativeund Monoidliefern jeweils zwei Verfahren mit im Wesentlichen gleicher Semantik: Ein leerer Wert: mzero, emptyoder mempty. Eine Bedienungsperson, a -> a -> adie Werte in der typeclass miteinander verbindet: mplus, <|>, oder mappend. Alle drei spezifizieren diese Gesetze, an die sich Instanzen halten sollten: mempty …
2
Das Bedürfnis nach rein in Applikativen
Ich lerne Haskells Bewerber. Es scheint mir (ich liege wahrscheinlich falsch), dass diepure Funktion nicht wirklich benötigt wird, zum Beispiel: pure (+) <*> [1,2,3] <*> [3,4,5] kann geschrieben werden als (+) <$> [1,2,3] <*> [3,4,5] Kann jemand den Nutzen erklären, den die pureFunktion gegenüber der expliziten Zuordnung bietet fmap?
3
Sind alle Behälter mit fester Größe starke monoidale Funktoren und / oder umgekehrt?
Das Applicative Typklasse repräsentiert laxe monoidale Funktoren, die die kartesische monoidale Struktur in der Kategorie der typisierten Funktionen beibehalten. Mit anderen Worten, angesichts der kanonischen Isomorphismen, (,)die eine monoidale Struktur bilden: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.