Interpreter (Übung)

(bis Woche 41:)

Verzweigungen mit C-ähnlicher Semantik:

Bedingung ist arithmetischer Ausdruck, verwende 0 als Falsch und alles andere als Wahr.

data Exp = ...
         | If Exp Exp Exp

(evtl. später:)

neuer AST-Knoten für Mehrfachbindung

data Exp = ...
         | Lets [ (String, Exp) ] Exp

• Semantik definieren/direkt implementieren
• Semantik durch Transformation in geschachtelte Let