Ziele:
Nutzen und Gebrauch der Defer-Ketten verstehen

im Vorlesungsteil:

• kurze Erläuterung des Prinzips;
• Solange es in Core keine Typdefinitionen gibt, wird das Defer-Prinzip nicht ausgenutzt

  nachlesen:
  Dokumentation des Moduls Defer

  Verständnisfragen:
  

  • Skizzieren Sie die Repräsentation eines korrekten, rekursiv definierten Typs.
  • Geben Sie fehlerhaft rekursiv definierte Typen an.