Funktionale Programmierung SS 2013 - Folie 311b
Ziele:
Typinferenz verstehen
in der Vorlesung:
Am Beispiel der length-Funktion wird erläutert:
- Baum erstellen,
- Typen aus Typregeln einsetzen,
- Gleichungssystem aufstellen,
- Gleichungssystem lösen.
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 29.04.2013