Erstes Treffen des Curry Clubs
Am vergangenen Donnerstag hatten wir unser erstes Treffen im OpenLab Augsburg. Es waren fast 20 Personen anwesend.
Nach einer kurzen Vorstellungsrunde ging es gleich richtig zur Sache, Ingo schrieb und beschrieb in einer Stunde einen funktionierenden Parserkombinator, der dann auch gleich auf S-Expressions losgelassen wurde. Dem Talk ist ein eigener Blogeintrag gewidmet.
Viele Zwischenfragen – auch zu esoterischeren und theoretischeren Themen – sorgten dafür, dass auch Fortgeschrittene auf ihre Kosten kamen.
Maximilian stellte seine Anwendung mySortMaildir vor, ein Tool in Haskell, das für ihn Mails filtert und sortiert.
Tim ging im dritten Talk auf die Typebene und beschrieb das von ihm implementierte typsichere Parsing von Routen im Webframework Spock. Er schaffte nur den ersten Teil und wird beim nächsten Treffen den Rest halten. Die Folien sind auf Github zu finden und eine zusammenfassende Beschreibung im Blog des Projekts.
Zum Schluss ließ ein Teil der Anwesenden den Abend bei einem leckeren Curry im Sangam ausklingen.
Beim Essen haben wir unter anderem gelernt
- Der Code von Isabelle war die letzten 20 Jahre über sehr gut wartbar und konnte mehrmals tiefgreifend umstrukturiert werden. Es gibt aber auch eine Funktion, die zusätzlich zu mehreren anderen Parametern fünf boolsche Flags nimmt und die sich niemand anzufassen traut. :-)
- Isabelle besitzt auch einen Kern für minimale Logik.
- Beweist man etwas konstruktiv, so gilt die Behauptung in allen Topoi. (Zur Einführung in die Konstruktive Mathematik gibt es ein Skript von Ingo.)
- ghcid ist die beste Erfindung seit geschnitten Brot.
- In jeder Kategorie kann man formulieren, was ein Monoid-Objekt sein soll. In der Kategorie der Mengen sind Monoid-Objekte gewöhnliche Monoide. In der Kategorie Hask sind Monoide solche Typen, denen man eine Instanz der Monoid-Typklasse spendieren kann. In Kategorien von Endofunktoren sind Monoide Monaden.
- Manchen Menschen macht es Spaß, Pi auswendig zu lernen.
- OCaml wird nicht nur von Jane Street Capital, sondern auch in Routern eingesetzt; es ist eine Art “Higher-Order C”.
- Etwas Wesentliches, was OCaml fehlt, ist Multithreading, so wie auch im Falle von Emacs LISP.
- Es gibt Punkte, die sowohl für ein Informatikstudium an der Uni Augsburg sprechen als auch für ein Studium an der TU München. Eine Auswahl:
- Uni Augsburg
- Pro: Übersichtlich, man kennt fast jeden, Fächer sind relativ leicht zu bestehen, das OpenLab
- Con: Es wird hauptsächlich Java gelehrt, Windows überall
- TU München
- Pro: Viel Auswahl (mehr Lehrstühle), funktionale Programmierung wird gelehrt, anerkanntere Uni
- Con: Entfernung (oder hohe Mietpreise), teils schwer in gute Übungen zu kommen
- Uni Augsburg