Konkretes Modell für IO: reaktiv

• (Haskell-)Programm ist eine Funktion

  main :: [ Antwort ] -> [ Befehl ]
  

• Reihenfolge ist kein Schreibfehler, lazy evaluation!
• Betriebsystem ist „Funktion`` (mit Nebenwirkungen)

  os :: Befehl -> Antwort
  

• Programm ausführen:

  let  bs = main $ map os bs