Programm für das sechste Treffen am 10. September 2015

Tim wird seinen Vortrag über Lens vom letzten Mal fortsetzen. Die Vortragsfolien gibt es hier und die Codebeispiele auf Github.

Ingo lädt zum großen monadischen Abend ein und wird daher über Monoide, freie Monoide und Monaden als Monoide berichten. Ziel wird sein, das schöne Motto Monaden sind nichts anderes als Monoide in einer Kategorie von Endofunktoren zu verstehen. Wenn noch Zeit ist, werden wir auch auf freie Monaden eingehen. Dies ist der zweite Vortrag in der Reihe What the Kmett is a monad?. Beim nächsten Treffen dann wird es einen darauf aufbauenden Vortrag über Effektsysteme und den neuesten Aufsatz von Oleg geben.

Makarius führt die Reihe SML ist die beste unbekannte Programmiersprache der Welt durch eine Kurzpräsentation des source-level Debuggers in der Prover-IDE fort.

Als dreiminütigen Lückenfüller gibt es eine Erklärung, welchen einfachen Zaubertrick man mit Münzen und dem Haskell-Programm length . group vorführen kann.

Um den Abend gemütlich ausklingen zu lassen, wird es selbstgekochtes Curry geben. Wer eine Portion haben möchte, schickt an tim@timbaumann.info eine Mail mit Betreff (+1) (oder einem semantisch identischen Haskell-Programm).