Zum neunten Mal in Folge fand die ZuriHac als Präsenzveranstaltung vom Samstag, 7. Juni bis Montag, 9. Juni 2025, auf dem Campus Rapperswil-Jona der OST – Ostschweizer Fachhochschule statt.
ZuriHac ist die weltweit grösste Fachkonferenz zum Thema prinzipienorientierte Programmierung mit Schwerpunkt auf der funktionalen Programmiersprache Haskell. Sie hat innerhalb der Programmiersprachen-Community einen Kultstatus erlangt und bietet Vorträge von führenden Experten aus Industrie und Wissenschaft sowie praktische Kurse für Einsteigende und Fortgeschrittene.
Haskell und seine Rolle in der Programmiersprachenforschung
Haskell ist eine universelle, statisch typisierte, rein funktionale Programmiersprache mit Typinferenz und verzögerter Auswertung. Haskell wurde für Lehre, Forschung und industrielle Anwendungen entwickelt und hat eine Reihe von Programmiersprachenfunktionen wie Typklassen und monadische Ein-/Ausgabe eingeführt und viele andere Programmiersprachen beeinflusst. Es wird von vielen als eines der wichtigsten Instrumente für die Programmiersprachenforschung angesehen.
Die diesjährigen Gastvorträge konzentrierten sich auf verschiedene gemeinschaftsbezogene und technische Bereiche der funktionalen Programmierung und Haskell. Hier sind einige Highlights:
- Lennart Augustsson, Pionier der Programmiersprachen und derzeit bei Epic Games tätig, sprach über MicroHs, die Einfachheit von Compilern, die Geschichte von Haskell und der funktionalen Programmierung, abhängige Typen und das Schreiben vertrauenswürdiger Codes.
- Tom Ellis, Softwareentwickler bei Groq, sprach über die Geschichte der Effektsysteme.
- Zoë Kooyman, Geschäftsführerin der Free Software Foundation, sprach über freiheitsbewahrende Software, Ethik und die Stärkung von Entwicklern durch angemessene Softwarelizenzen.
Themenbereiche, Vorträge und neue Formate
Darüber hinaus gab es eine Reihe von Themenbereichen, darunter
- «Web Assembly» und «Nix» von Cheng Shao bzw. Malte Ott sowie ein Themenbereich für Einsteigende von Andres Löh von Well-Typed.
- Ein Bereich zur Kategorientheorie, moderiert von Dr. Richard Southwell von Planted Space, der auch durch seinen YouTube-Kanal zu grundlegenden mathematischen Konzepten bekannt ist. Die Kategorientheorie ist eine allgemeine Theorie mathematischer Strukturen und ihrer Beziehungen, deren Konzepte wie Funktoren und Monaden in Haskell und zunehmend auch in anderen Programmiersprachen verwendet werden.
Dieses Jahr wurde die Gelegenheit genutzt, um einige neue Formate für Vorträge und Diskussionen auszuprobieren:
- Pedro Abreu (Moderator des Podcasts «Type Theory for All») und Farhad Mehta (OST-Professor und Co-Moderator des Podcasts «Haskell Interlude») moderierten gemeinsam ein Live-Podcast-Interview mit Lennart Augustsson über die Entwicklung der Programmierung und Haskell sowie eine Expertenrunde zu Tools, Lehre und der praktischen Anwendung von Haskell.
- Brent Yorgey, Assistenzprofessor am Hendrix College und Mitautor des berühmten Diagrams-Pakets und des 2D-Programmierspiels Swarm, moderierte eine Wettbewerbsprogrammierungssitzung mit Haskell.
Ausblick auf ZuriHac 2026
Wie immer wurde auch viel Arbeit in Community- und persönliche Projekte gesteckt. Es wurden etwa 30 Projekte in so unterschiedlichen Bereichen wie Compiler, Bildung, IDE-Unterstützung, Kryptowährungen, Satz, Spieleentwicklung, Hardware-Design, Implementierung von Effektsystemen, Build-Automatisierung, Bildverarbeitung und Sicherheit registriert. Die ZuriHac 2026 ist für den 6. bis 8. Juni 2026 an der OST geplant.