Die ZuriHac ist die weltweit grösste Praktiker-Konferenz rund um die funktionale Programmiersprache Haskell. Sie hat in der Programmierer:innen Gemeinschaft Kultstatus erlangt und bietet Vorträge von führenden Expertinnen und Experten aus Industrie und Wissenschaft sowie praxisorientierte Tracks für Anfänger und Fortgeschrittene.
Haskell ist eine generische, statisch typisierte, rein funktionale Programmiersprache mit Typinferenz und Lazy Evaluation. Haskell wurde für Lehre, Forschung und industrielle Anwendungen entwickelt und hat eine Reihe von Programmiersprachenmerkmalen wie Typklassen und monadische Ein-/Ausgabe eingeführt und viele andere Programmiersprachen beeinflusst. Es wird von vielen als eines der wichtigsten Werkzeuge für die Programmiersprachenforschung angesehen.
In diesem Jahr nahmen über 400 Personen an der ZuriHac teil. Etwa 65 % der Teilnehmerinnen und Teilnehmer kamen aus dem Ausland, 70 % waren professionelle Ingenieurinnen und Ingenieure, der Rest Akademikerinnen und Akademiker und Studierende.
Die diesjährigen Vorträge konzentrierten sich auf einige Anwendungsgebiete der funktionalen Programmierung und Haskell. Hier einige Highlights: Mary Sheeran, Professorin am Department of Computer Science and Engineering an der Chalmers University of Technology, Schweden, sprach darüber, wie sie Ideen aus der funktionalen Programmierung auf Hardware-Design und High-Performance-Computing anwendet; Ivan Perez, Principal Research Scientist am NASA Ames Research Center, USA, sprach darüber, wie er Haskell einsetzt, um die Zuverlässigkeit von Robotern zu verbessern, die an der unbemannten Erforschung des Weltraums beteiligt sind; und Alex McLean, Forschungsstipendiat des gemeinnützigen Studios „Then Try This“, sprach darüber, wie er Haskell einsetzt, um eine domänenspezifische Software zu entwickeln.
Zusätzlich gab es eine Reihe von Tracks, die vom fortgeschrittenen Track „Programming and Proving in Agda“ von Jesper Cocks, Assistenzprofessor an der TU Delft, bis zum Einsteiger-Track von Eliane Schmidli, Mitarbeiterin an der OST, reichten. Agda ist eine so genannte dependently typed Programmiersprache, die in Haskell implementiert ist. Dependent Types werden von vielen als die Zukunft des Programmiersprachendesigns angesehen. Sie verwischen die Grenze zwischen Programmierung und mathematischer Beweisführung und bieten neue Möglichkeiten, über Computerprogramme und ihre Zuverlässigkeit nachzudenken. Eine Aufzeichnung der Vorträge und Tracks ist online frei verfügbar.
Neben den Vorträgen und Tracks arbeiten die Teilnehmerinnen und Teilnehmer gemeinsam an verschiedenen Open-Source-Projekten und knüpfen Kontakte. Eine vollständige Liste aller Projekte, an denen gearbeitet wird, sowie Details zu allen eingeladenen Vorträgen und Tracks finden Sie auf der ZuriHac 2024 Website.
Alle ZuriHacs seit 2017 fanden am OST Campus in Rapperswil-Jona statt. Die ZuriHac 2025 wird voraussichtlich vom 07.06.2025 bis 09.06.2025 wieder an der OST stattfinden.