Benutzer:D/fp
aus Wikipedia, der freien Enzyklopädie
- Halbgruppe
- Monoid
- Funktor (Funktor (Logik)) (map)
- Pointed (pure == unit)
- Pointed Funktor
- Applikativer Funktor (pointed funktor mit <*>) haskell wiki, Idioms: applicative programming with effects
- Monade_(Typkonstruktion) == Monade (Kategorientheorie) (ap == <*> des zugehörigen AF)
- Traversable
Weblinks
- Typeclassopedia von Brent Yorgey in The Monad.Reader Issue 13
