ZuriHac 2022
2022-06-15
Rapperswil-Jona, Switzerland
ZuriHac ·
[ZuriHac 2022, ZuriHac 2023, ZuriHac 2025, ZuriHac 2026]
who it's for
Haskell developers, library authors, compiler engineers, language designers, tooling engineers, educators
topics
array EDSL LLVM/CUDA codegen; fusion for array combinators; deterministic IO simulation (iosim); async and STM simulation traces; operational monad interpreters; de Bruijn indices and evaluation semantics; GHC Core join points and inlining; occurrence analysis and rewrite rules; text 2.0 UTF-8 internal representation; simdutf and UTF-8 validators; network-simple TCP servers with stm; OpenAPI to Haskell server stubs
| title | author | length |
|---|---|---|
| Opening Presentation | Farhad D. Mehta, Jasper Van der Jeugt | 46m |
Schedule shifts bring project pitches now followed by beginner sessions and a noon keynote, with organisers asking for volunteers to move tables and man four… | ||
| Accelerate Haskell for GPU and Multicores | Gabriele Keller | 01h 05m |
A Haskell EDSL compiles array programs to native kernels via LLVM/CUDA codegen, caches compiled kernels (run/runN) and aggressively fuses combinators so… | ||
| IOSim (Advanced Track) | Armando Santos | 01h 52m |
iosim is a Haskell library that runs code as a drop-in replacement for IO but as a deterministic virtual-time simulation, producing detailed event traces… | ||
| Haskell The Legend of DSLs | Alejandro Serrano | 01h 07m |
Builds a small DSL for a trading card game: ADTs for cards, ten energy types, attacks with costs and damage, and actions that include coin flips and loops… | ||
| Into the Core Squeezing Haskell into nine Constructors | Simon Peyton Jones | 01h 28m |
GHC Core is a tiny explicitly-typed intermediate language (about nine expression constructors) where explicit types on every binder and System F big-lambdas… | ||
| Intro to Type Systems and Operational Semantics | Andres Löh | 02h 50m |
Stepwise construction of five toy languages shows how type rules map directly to Haskell code: infer/check via Maybe, big‑step vs small‑step evaluation, and an… | ||
| The text package finally with UTF-8 | Andrew Lelechenko | 01h 03m |
text package now uses UTF-8 internally and ships as text 2.0 with GHC 9.4 support after replacing implicit stream fusion with direct buffer APIs and adding… | ||
| Haskell Adventures in IO | Alejandro Serrano | 01h 15m |
Hands-on walkthrough of building a cloud dice game in Haskell that actually runs: a TCP server using network-simple, clients using connect, message formats… | ||
| Project Presentations - Haskell | Jasper Van der Jeugt | 52m |
A community site built on a GHC branch assigns error codes grows from one fake example to 40 messages documented with about 15–20 contributors and four pages… | ||
| nothing matches | ||