Übung Tupel

• data Val = .. | ValTuple [ Val ]
• abstrakte Syntax:

  Konstruktor: data Exp = ... | Tuple [ Exp ]

  Selektor: data Exp = ... | Nth Int Exp

  (der Index ist eine Konstante!)

• konkrete Syntax (Parser, Printer)

• Semantik: Inferenzregeln und Implementierung für:

  Auswertung, Typisierung, Typrekonstruktion