Konkretes Modell für IO: Zustand

Änderung des Weltzustandes

data World = ...
data IO a = IO ( World -> (a, World) )

das Welt-Objekt bezeichnet Welt außerhalb des Programmes

f :: World -> ( World, World )
f w = ( putStr "foo" w, putStr "bar" w )
Lösungen:



Johannes Waldmann 2011-01-18