Nächste Seite: Kategorien Aufwärts: Deklarative Programmierung Vorlesung Wintersemester Vorherige Seite: Anwendung II: geordnete Bäume

Theorems ...for Free

Unterabschnitte

Kategorien
Kategorien (Definition I)
Kategorien (Definition II)
Kategorien: einfache Beispiele
Bsp: Kategorie, deren Objekte keine Mengen sind
Punktfreie Definitionen: injektiv
Punktfreie Definitionen: Produkt
Funktoren zwischen Kategorien
(Endo-)Funktoren in Haskell
Funktoren als Typklasse
Theorems for free
Theorems for free (II)
Hintergrund zu Monaden
Monaden
Rechenregeln für Monaden
Rechenregeln (Beispiele)

Johannes Waldmann 2010-01-25