Monad vs sequenziellen Funktionsaufrufe

Question

Die Wikipedia article on monads sagt:

Rein funktionale Programme Monaden können Verfahren strukturieren, die sequenziert Operationen wie in strukturierte Programmierung gefunden schließen diejenigen ein.

Nicht auf der Suche nach einem (anderen) Monad Tutorial hier. Bitte geben Sie ein Beispiel für Monade, die sequenzielle Operationen ermöglicht, wenn nur eine Funktion ausgeführt wird und dann eine andere nicht ausreicht. Ist es irgendwie mit diesen Funktionsaufrufen verbunden, die gemäß den funktionalen Sprachspezifikationen faul sind? Warum benötigt die sequentielle Ausführung nicht ausgetauschter Funktionen einen "Wrapper"?

Answer 1

Die Haskell Monad Tutorial deutlich zeigt ein Beispiel für die Sequenzierung Funktionsaufrufe in einer monadischen Mode:

type Sheep = ... 

father :: Sheep -> Maybe Sheep 
father = ... 

mother :: Sheep -> Maybe Sheep 
mother = ... 

-- comb is a combinator for sequencing operations that return Maybe 
comb :: Maybe a -> (a -> Maybe b) -> Maybe b 
comb Nothing _ = Nothing 
comb (Just x) f = f x 

-- now we can use `comb` to build complicated sequences 
mothersPaternalGrandfather :: Sheep -> Maybe Sheep 
mothersPaternalGrandfather s = (Just s) `comb` mother `comb` father `comb` father