Nächste Seite: Typen Aufwärts: Compilerbau Vorlesung, Wintersemester 2004 Vorherige Seite: Funktionales Programmieren in Java

Typsysteme und Polymorphie

Unterabschnitte

Typen
Daten und Variablen haben Typen
Typ-Kompatibilität
Typ-Prüfung bei Funkionen (Unterprogrammen)
Typsysteme
Warum gibt es überhaupt schwache Typsysteme?
Polymorphe Datentypen
Generische Polymorphie
Rechnen mit Listen in Haskell
,,Funktionales`` Programmieren
Quicksort
Seminar 24. 11.: Hugs
Seminar: Fakultät
Seminar: Typen höherer Ordnung
Seminar: Hugs und Emacs
Seminar: mergesort
Prüfung Generische Typen
Eingeschränkte Polymorphie
Interface-Vererbung
Vererbung?
Generics in Java-1.5

Johannes Waldmann 2005-01-28