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 11.08.2016, 19:00 Uhr MESZ.

In einem Wiki sammeln wir Themenvorschläge.

Programm für das siebzehnte Treffen am 11. August 2016

Profpatsch teilt seine Beobachtung mit, dass Zipper zu den coolsten Datenstrukturen gehören, und wird damit die Reihe über funktionale Datenstrukturen fortsetzen.

Tim wird einen Vortrag zu Versionskontrollsystemen und Patch-Theorie halten. Er wird darin die unterschiedlichen Modelle von git, darcs und insbesondere dem neuen Versionskontrollsystem Pijul vorstellen. Letzteres VCS basiert auf (oder ist laut Webseite “inspiriert von”) einer kategorientheoretischen Theorie von Patches von Samuel Mimram und Cinzia Di Giusto.

[Kurze Werbepause: Das Paper ist richtig cool! Die Autoren gehen von der Kategorie der “normalen”, linearen Dokumente aus und wollen dann “mergen” als Pushout modellieren. Damit Patches immer gemergt werden können, sollte die Kategorie endlich kovollständig sein, damit alle Pushouts existieren. Deshalb gehen die Autoren zur freien konservativen (schon existierende Kolimiten bleiben erhalten) Kovervollständigung der Kategorie der linearen Dokumente über. Diese Kovervollständigung man nach einem Folklore-Theorem explizit als volle Unterkategorie der Kategorie der Prägarben auf der Kategorie der linearen Dokumente beschreiben. Im Hauptteil des Papers leiten die Autoren eine viel konkretere, graphentheoretische Beschreibung dieser Kategorie her.]

uwap wird Idris als “general purpose”-Sprache vorstellen, in der man abhängige Typen praktisch verwenden kann.

Programm für das achtzehnte Treffen am 8. September 2016

Marc wird voraussichtlich über Hygienische Makros: Praxis, Theorie und Implementierung am Beispiel von Scheme sprechen.

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