Kleiner Workshop zur Funktionalen Programmierung

HTWK Leipzig, Institut für Informatik, Raum (vorläufig): Zu 417.

Interessenten sind willkommen, bitte per Mail anmelden.

Organisator: J. Waldmann

Funktionaler Stammtisch, Dienstag, 17. Sept., 17 - 20 Uhr

Diskussion zu funktionaler Programmierung (und weiter gefaßt: formaler Methoden) in Lehre, Anwendung und Forschung.

Kurzbeiträge sind willkommen. Aber kurz! - max. 10 min. Bitte Thema anmelden. Bis jetzt wurden gennant:

• eine eDSL für SMT (Satisfiability modulo Theory) https://hackage.haskell.org/package/hasmtlib
• alten Haskell-Code von Google für den Virtuelle-Maschinen-Verwalter Ganeti aufpolieren https://ganeti.org/

Gern auch Themenwünsche. Bis jetzt:

• (gewünscht) das technisch unterstützte Behandeln von Equational Reasoning, etwa mittels CYP in Autotool oder Alternativen in/mit Agda oder LiquidHaskell
• (zur Unterhaltung) https://github.com/andreasabel/shoot-yourself-in-the-foot-with-lenses

autotool-Entwickler-Treffen, Mittwoch, 18. Sept., 10 - 13 Uhr

Vorstellung der Arbeiten in der Gruppe von Prof. Voigtländer, Univ. Duisburg-Essen,

Diskussion weiterer Entwicklungsziele und Teilprojekte,

Triage von Fehlern und Wünschen,

Möglichkeiten für Praktika, Bachelor- und Masterarbeiten.

Konkrete Punkte zur Diskussion:

• die LTI-Schnittstelle https://git.imn.htwk-leipzig.de/waldmann/autotool/-/issues/974

Demonstration:

• Aufgaben zur Funktionalen Programmierung (SS 24) (polymorphic data size, strictness, cyp) https://autotool.imn.htwk-leipzig.de/cgi-bin/Trial.cgi?lecture=324
• Aufgaben zu Informatik als Nebenfach (WS 20) (Aussagenlogik, Deklarative Grafik) https://autotool.imn.htwk-leipzig.de/cgi-bin/Trial.cgi?lecture=276, Beschreibung: https://www.imn.htwk-leipzig.de/~waldmann/talk/21/abp/