Looking for haskell Keywords? Try Ask4Keywords

Haskell LanguageMonaden


Einführung

Eine Monade ist ein Datentyp zusammenstellbarer Aktionen. Monad ist die Klasse von Typkonstruktoren, deren Werte solche Aktionen darstellen. Vielleicht ist IO das am besten erkennbare: Ein Wert von IO a ist ein "Rezept zum Abrufen a Wertes aus der realen Welt".

Wir sagen, ein Typkonstruktor m (wie [] oder Maybe ) bildet eine Monade, wenn es eine instance Monad m gibt, die bestimmte Gesetze über die Zusammenstellung von Aktionen erfüllt. Wir können dann über ma als eine "Aktion, deren Ergebnis den Typ a " denken.

Monaden Verwandte Beispiele