ZuriHac 2026
2026-06-06..2026-06-08
Rapperswil-Jona, Switzerland
ZuriHac ·
[ZuriHac 2022, ZuriHac 2023, ZuriHac 2025, ZuriHac 2026]
who it's for
haskell developers, engineering managers, compiler and language researchers, open source maintainers, functional programming educators, data scientists exploring Haskell, tooling and infrastructure engineers
topics
dependently typed language implementation in Haskell; dependent pattern matching and unification; GHCup and modern Haskell setup; Haskell Language Server improvements; Haskell for data science with DataFusion; notebook UIs and lazy DataFrames; LLMs impact on development and maintenance; commercial game development techniques in Haskell; Cabal vendor and package collections; Flora package discovery and package tooling; security response and vulnerability patching
| title | author | length |
|---|---|---|
| Welcome and Opening Session | Farhad D. Mehta | 45m |
Opens the conference with concrete logistics and community facts: 400 attendees, organizing teams and volunteer roles, campus map and building numbers… | ||
| Another Taste of Verse | Simon Peyton Jones | 01h 02m |
Verse treats every expression as able to produce zero, one, or many values, with built‑in choice and failure composing into sequencing, comprehension‑style for… | ||
| Haskell Tools, Compilers, Libraries and Community Projects | Jasper Van der Jeugt | 22m |
Quick summaries of concrete projects and asks: a Haskell 2010 modules spec aiming for a mechanized module formalization; Flora package discovery (florapm) live… | ||
| Haskell Project Showcase and Community Contributions | Jasper Van der Jeugt | 54m |
Showcase lists concrete deliverables: a Flora documentation builder prototype with sandboxing ideas, Cabal Matrix that runs a DSL-specified matrix and shows… | ||
| Why Companies Hire Developers Who Don't Know Elm | Evan Czaplicki | 01h 09m |
Companies hire non‑Elm developers and train them fast: case studies from Vendr (25 engineers), Corvus Insurance (≈50 engineers, only 10% knew Elm), NoRedInk… | ||
| Building a Dependently Typed Language in Haskell Part 1 | Andres Loeh | 01h 07m |
Recreates a minimal dependently typed core in Haskell: concrete syntax, locally nameless binding, bidirectional type checking, evaluation that produces values… | ||
| Implementing Dependent Pattern Matching and Type Unification Part 2 | Andrea Vezzosi | 01h 26m |
A small dependently typed core is extended with telescopes, closures and a datatype registry that compiles clauses into case trees; an elaborator builds… | ||
| Haskell for Beginners: Learn Functional Programming from Scratch | Michael Sperber | 03h 04m |
Sets up a modern Haskell environment with GHCup, Haskell Language Server, VS Code, Nix, then models domains with concrete code: algebraic data types for pets… | ||
| Can Haskell Become a Great Language for Data Science? | Michael Chanvinda | 53m |
Argues Haskell can span quick exploration to reliable pipelines by combining a notebook UI with typed DataFrame semantics, demos loading Iris (150 rows)… | ||
| How Will LLMs Change Haskell, Programming and Open Source? | Lennart Augustsson | 01h 16m |
Panel covers concrete effects: hardware firms build inference chips, one user spends $7–8k/month on tokens and runs agents; LLMs speed simple tasks but produce… | ||
| Can You Build a Commercial Game in Haskell? | Garrick Chin | 01h 11m |
Builds and ships a commercial 2D action game called Defect Process (on Steam, source on GitHub) using Haskell, showing concrete techniques that worked… | ||
| Why Do Companies Stop Using Haskell? | Vaibhav Sagar | 51m |
Analyzes why companies stop using Haskell by naming concrete failure modes—wholesale rewrites that trigger the second-system effect, fixed-term experiments… | ||
| Why We’re Teaching Programming Wrong: A Haskell Perspective | Michael Sperber | 02h 05m |
Argues that discovery learning fails for most beginners and that a structured, data-first method produces reliable results: uses design recipes, teaching… | ||
| nothing matches | ||