Nächste Seite:
Kategorien
Aufwärts:
Deklarative Programmierung Vorlesung Wintersemester
Vorherige Seite:
Verwendung von Modi
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 2011-01-18
