Das wird heiß

Makarius

Das Treffen für Haskellistas, Scalafisten, Lambdroiden und andere funktionale, kohlenstoffbasierte Lebensformen in Augsburg!

Der Curry Club soll Treffpunkt sein, um Konzepte und Ansätze, Praktisches und Abstraktes, Purität und Effekte, Faulheit und Striktheit, Monaden und Monoide und sonst auch wirklich alles passende zu diskutieren.

Die Idee, einen funktionalen Stammtisch zu gründen, kam auf der ersten Augsburger Nerdnacht auf.

Wir treffen uns im vierwöchigen Turnus, das nächste Mal am

Donnerstag, den 19.05.2016, 19:00 Uhr MEZ.

In einem Wiki sammeln wir Themenvorschläge.

Programm für das vierzehnte Treffen am 19. Mai 2016

Marc setzt die Reihe über rein funktionale Datenstrukturen (begonnen durch Tims Vortrag zu Warteschlangen mit einem Vortrag über Maps in Scheme fort. Wir können uns auf viele verschiedene Arten von Bäumen freuen.

Außerdem setzt Makarius die Reihe Schönheit und Kunst mit weiterer Arbeit in Isabelle fort: Er löst Aufgabe 12 der beiden Workshops (Run-Length-Encoding), und zwar erstens “diesmal wirklich” und zweitens absolut vollständig. Damit ist natürlich gemeint, dass er die Korrektheit seiner Lösung in Isabelle beweist.

Nach diesen zwei Vorträgen wird es entweder noch Zeit für einen weiteren Vortrag geben oder nicht. Ingo könnte Minimalwissen zu initialen Algebren und terminalen Koalgebren bereitstellen. Diese verwendet man (unter anderem), um Datentypen mathematisch zu modellieren. In Form von Cata- und Anamorphismen haben sie aber auch eine ganz praktische Bedeutung in der Abstraktion von bekannten Rekursionsmustern.

Programm für das fünfzehnte Treffen am 19. Mai 2016

(Ankündigungen folgen in den nächsten Tagen.)

Du schreibst ein cooles Haskell-Projekt, hast eine tolle neue funktionale Programmiersprache entdeckt, oder verstehst endlich, wie SchachGo-AIs funktionieren? Dann halte einen Vortrag! Die Organisation geht über unsere Mailingliste.

Kurzvorträge (< 10 min) können auch unangekündigt gehalten werden, in Absprache mit der jeweiligen Organisatorin.

Treffen & Veranstaltungen