Nächste Seite: Typklassen, Beispiel: Show Aufwärts: Compilerbau Vorlesung Wintersemester 2008 Vorherige Seite: Semantik (mit Maybe)

Typklassen, Monaden

Unterabschnitte

Typklassen, Beispiel: Show
Vergleich Typklassen/Interfaces
Generische Instanzen
Beziehungen zwischen Klassen
Konstruktorklassen (Functor)
Gesetze f�r Funktoren (I)
Gesetze f�r Funktoren (II)
Die Konstruktorklasse Monad
Anwendung der Maybe-Monade
Do-Notation f�r Monaden
List als Monade
Monaden mit Null
Aufgaben zur List-Monade
Gesetze f�r Monaden (I)
Gesetze f�r Monaden (II)
Funktoren und Monaden
Die IO-Monade
Die Zustands-Monade

2009-11-20