Aufgabe zu Interpretation/Typprüfung

• Autotool: typeQ

Zu Beispiel aus Vorlesung, Quelltexte: http://www.imn.htwk-leipzig.de/~waldmann/edu/current/compiler/programme/types/

• Funktionen hinzufügen (in welcher Datei wird geändert? Nur eine!)
  • mul (Multiplikation, zweistellig)
  • quad (Quadrieren, einstellig)
  • not (Negation, einstellig)
  • and (Konjunktion, zweistellig)
• boolesche Konstanten (True, False) hinzufügen (beachte große Anfangsbuchstaben)

  (in welchen Dateien wird geändert?)

• Verzweigungen hinzufügen: if (Ex1, Ex2, Ex3)

  Type von Ex1 ist Bool, Typ von Ex2 und Ex3 ist Number, das ist auch Resultattyp