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 = ( deleteFile "foo" w, putStr "bar" w )

Lösungen:

• Haskell: Typ World ist privat, öffentlich ist nur IO
• Clean: Typ World ist öffentlich, aber unique