KIF430:Freunde der funktionalen Programmierung (Fortgeschrittene)

Aus KIF
Die druckbare Version wird nicht mehr unterstützt und kann Darstellungsfehler aufweisen. Bitte aktualisiere deine Browser-Lesezeichen und verwende stattdessen die Standard-Druckfunktion des Browsers.

Vorlesung von Jonas, Unterlagen: [1], Videos: [2]

Literatur: Learn You A Haskell [3], Parallel and Concurrent Programming in Haskell [4]

Recursion Schemes (Mergesort auf 11 aufgedreht): [5]

Sortieren in Agda (dependent types): [6]


"We're doing it all wrong!" by Paul Philipps (a.k.a. niemand mag Scala und hier ist wieso): [7]