Nächste Seite:
The ``real'' world: IO
Aufwärts:
Monaden
Vorherige Seite:
Die Zustands-Monade
Parser als Monaden
data Parser t a = Parser ( [t] -> [(a,[t])] )
Tokentyp
t
, Resultattyp
a
Zustand ist Liste der noch nicht verbrauchten Token
Zustandsübergänge sind nichtdeterministisch
Johannes Waldmann 2010-01-25