Grundlagen der Programmiersprachen SS 2016 - Folie 508a
Ziele:
Abstrakte Typkonzepte anwenden
in der Vorlesung:
- Erläuterungen zu rekursiven Definitionen
- Lineare Liste, abstrakt: Paar von Wert und Liste; implementiert: Paar von Wert und Referenz auf Liste.
- Zusammenhang zur Implementierung in imperativen Sprachen
- weitere Beispiele
Verständnisfragen:
- Warum wäre die abstrakte Definition des Typs IntList ohne die nil-Alternative sinnlos?
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 22.05.2016