Forschungsprojekt

ZuriHac 2024

ZuriHac is the biggest Haskell community event in the world: a completely free, three-day grassroots coding festival co-organized by the Zürich Friends of Haskell and the OST Eastern Switzerland University of Applied Science. It is not your standard conference with papers and presentations, but features fantastic keynotes, hands-on tracks, hacking on many of your favourite projects, and of course lots of socializing!

ZuriHac took place Saturday 8 June — Monday 10 June 2024 as a physical event at the beautiful Rapperswil-Jona campus of OST located right next to lake Zurich.

Facts & Figures

Teilnehmerzahl: 400 Besucher-/innen
Herkunft der Teilnehmer/innen: 50% Europa, 35% Schweiz, 15% Rest der Welt
Beruflicher Hintergrund: 75% Industrie, 25% akademisch
Seit 2017 findet der Event an der OST in Rapperswil (vormals HSR) statt
Vorherige Gastgeber: Google Schweiz, ETHZ, Better AG

Hauptziele des Events

Worum geht es bei diesem Event? Das oberste Ziel ist es, den aktuellen Stand der Computerprogrammierung nicht nur aufzuzeigen, sondern ihn auch weiter zu entwickeln. Im Fokus steht dabei die funktionelle Programmierung und die Programmiersprache Haskell.

Damit nicht genug. Weitere Ziele, welche an diesem Event verfolgt worden sind:

Anwendungen & Konzepte: FRP, Build Systems, SE Practices, Metaprogramming, Hardware Design, Verification...
Kennenlernen anderer Programmiersprachen: Agda, Verse, Racket, Dhal, Nix, ...
Das Vermitteln von grundlegenden Konzepte: Type Systems, PL Semantics, Logik, Category Theory, Combinators, ...

Prof. Farhad D. Mehta, Professor für Informatik an der OST:
Was die Programmiersprache Haskell aus meiner Sicht auszeichnet, ist ihr Bestehen auf Eleganz und starke mathematische Fundamente. Ihr Motto: “Avoid success(,) at all costs”

Highlights 2024:

Der Event durfte eine Reihe hochkarätiger Speaker begrüssen. Sie verstanden es, in ihren Vorträgen die Vielseitigkeit der Programmiersprache Haskell anschaulich zu vermitteln. Da war für jede(n) was dabei: angefangen beim Low level: “Functional Hardware Description and verification” (Prof. Dr. Mary Sheeran, Chalmers University of Technology, Schweden) über Vorträge aus dem Bereich High level: “Haskell in Space”: Runtime verification bei NASA (Dr. Ivan Perez, NASA, USA), weiter zum bodenständigen Vortrag "Making people dance with Haskell". Hier verursachte Alex McLean aus Grossbritanien bei den Menschen mit seiner Live-Performance bzw. Live-Coding für Musik zuckende Beine.

Die fortgeschritten Kurse für FRP, Generic Programming, Dependent Types boten die Möglichkeit, individuelle Lernziele zu verfolgen. Haskell-Novizen konnten in einem Beginner-Track von Eliane Schmidli erste Schritte mit der neuen Programmiersprache begehen.

Come together

Auch wenn unter Higlights verschiedene Vorträge aufgelistet sind: Mindestens ebenso wichtig wie das Erwerben von neuem Knowhow ist an einem solchen Event auch das Kennenlernen neuer Menschen aus der ganzen Welt. Auch dafür bot der Event attraktive Möglichkeiten, sei es zwischen den Vorträgen, aber insbesondere auch bei den Abendessen. Und ja, es gab auch heiss begeherte St. Galler Bratwürste.

Last but not least:
Nach der ZuriHac ist vor der ZuriHac. Die Vorbereitungen für die nächste Veranstaltung imi 2025 sind schon gestartet.

Datum
07 bis 09. Juni 2025

Ort
In Rapperswil. An der OST. Wo wissen wirkt.

Weitere Infos
https://zfoh.ch/zurihac2025/

Hintergrundinfos Haskell

Haskell ist eine rein funktionale Programmiersprache, d.h. sie fasst Programme als mathematische Funktion auf. Es gibt keine Zustandsvariablen, die während einer Berechnung geändert werden.

Was macht die Programmiersprache Haskell so einzigartig?
Benannt ist die Programmiersprache nach dem US-amerikanischen Mathematiker Haskell Brooks Curry. Seine Arbeiten zur mathematischen Logik bilden eine Grundlage funktionaler Programmiersprachen. Haskell basiert auf dem Lambda-Kalkül, weshalb auch der griechische Buchstabe Lambda als offizielles Logo für Haskell verwendet wird.

Haskell dient wegen seiner stark akademischen Herkunft vielen Programmier- und Scriptsprachen als Vorbild für neue Sprachfunktionalität. So haben u. a. Perl, Python, JavaScript, Java, Scala, Rust und PHP Ideen der funktionalen Programmierung von Haskell übernommen. Dazu gehören Funktionen höherer Ordnung wie map, filter usw., Teile der Art, wie generische Programmierung implementiert wurde, und anderes.

Von https://en.wikipedia.org/wiki/Haskell

“Designed for teaching, research, and industrial applications, Haskell has pioneered a number of programming language features”

Mehr zur Programmiersprache Haskell