1. Einleitung

• Haskell ist eine pure funktionale Sprache.
• Das Ergebnis einer Funktion hängt nur von ihren Parametern ab.
• Eine Funktion kann keine Seiteneffekte auslösen.
• Die Reihenfolge der Auswertung ist nicht vorhersagbar.
• Seiteneffekte würden mathematische Aussagen über Funktionen verhindern.

  readInt :: Int
  
  foo = readInt - readInt
  

• In diesem Beispiel ist das Verhalten von foo undefiniert.
• Mit einem Monads ist es unter Anderem möglich, die Reihenfolge von Berechnungen festzulegen, und deren Berechnung zu erzwingen.
• Monads können auch in anderen funktionalen Sprachen verwendet werden.

1.1 Syntax

• Lambda-Funktionen

  \x -> x * x
  

• Lambda-Definitionen sind stark Rechts-assoziativ.