Variablen (IORefs)

import Data.IORef
main :: IO ()
main = do
    x <- newIORef 7
    writeIORef x 8
    a <- readIORef x
    print a

strenge Unterscheidung zwischen

• Verweis (x :: IORef Integer)
• Wert (a :: Integer)

Lesen und Schreiben sind IO-Aktionen, weil sie den Hauptspeicherinhalt ändern.