Nebenwirkungen auf den Speicher

import Data.IORef
data IORef a -- abstrakt
newIORef :: a -> IO (IORef a)
readIORef :: IORef a -> IO a
writeIORef :: IORef a -> a -> IO ()

• damit kann man die üblichen imperativen Programme schreiben (jede Variable ist eine IORef)
• die Kombinatoren zur Programmablaufsteuerung kann man sich selbst bauen, z. B.

  while :: IO Bool -> IO () -> IO ()
  

  Übung: while implementieren, Fakultät ausrechnen