Abstrakte
Datentypen und das Typsystem von Haskell
erstellt von Christian Buschmann <wi3414@fh-wedel.de>
21.5.2002
... [Seminar
"Funktionale Programmierung"] ...
Inhaltsübersicht
- Einleitung
- Vorwort
- Warum Typen?
- Hindley-Milner Typsystem
- Typen in Haskell
- Typsignatur
- Definition von eigenen Typen
- Typsynonyme
- Polymorphie
- parametrische Polymorphie
- Ad-hoc Polymorphie
- Typparameter
- Zu Haskells vordefinierten Typen
- Higher-Order
Functions
- Typklassen
- Wozu?
- Eigene Klassen definieren
- Vererbung
- Ableitung
- Typinferenz
- Monomorphe Typüberprüfung
- Polymorphe Typüberprüfung
- Typüberprüfung bei Klassen
- Abstrakte
Datentypen
- Modulkonzept
- Erstellen eines abstrakten Datentyps
- Literaturliste
... [Seminar
"Funktionale Programmierung"] ...