Strom-Transformationen (3)

neue Struktur, neue Elemente

Vorbild:

(>>=) :: [a] -> (a -> [b]) -> [b]
Realisierung:
SelectMany


Rechenregel (Beispiel):

map f xs = xs >>= ...


Übung:

Definition des Operators >=> durch

(s >=> t) = \ x -> (s x >>= t)

Typ von >=>? Assoziativität? neutrale Elemente?



Johannes Waldmann 2012-06-25