2026 Haskell Implementors' Workshop
2026-06-05
Rapperswil, Switzerland
| title | author | length |
|---|---|---|
| GHC Status Report | Andreas Klebinger | 36m |
Yearly release cadence drops from eight to four per year; current highlights: 9.14 LTS designated, 9.12.3 reintroduces a correctness regression via bad… | ||
| Stable Haskell | Julian Ospald | 32m |
Stable Haskell is a fork of GHC and Cabal that actually builds GHC with Cabal instead of Hadrian, migrates hosting to GitHub, and adds explicit… | ||
| MicroHs Dead or Alive? | Lennart Augustsson | 26m |
MicroHs now embeds base package into single binary so a standalone compiler+base runs (sample file 2.3 MB; compiler 440k, base saved ~800k) and recompiles… | ||
| Lightweight profiling with ghc-stack-profiler | Hannes Siebenhandl | 30m |
Lightweight sampling profiler implemented as a Haskell library that writes samples to the eventlog by periodically cloning RTS call stacks with the existing… | ||
| Evolving the Haskell Debugger | Rodrigo Mesquita | 30m |
New debugger implements custom DebugView instances, per-frame variables and real stack frames, pauses on exceptions with source locations extracted from… | ||
| Is There a Future for a Formally Specified Haskell Report | David Binder | 47m |
Project implements a verified frontend in Lean that covers Unicode lexing, indentation-sensitive tokenization, renaming, fixity resolution and grouping of… | ||
| Towards better implicit parameters | Lorenzo Tabacchini | 23m |
Proposal introduces Scoped values: dynamic-scoped keys become nominal data types, introduced only with a new with-value primitive and read via a value… | ||
| GHC String interpolation | Brandon Chinn | 47m |
A GHC proposal (opened in 2023) adds native string interpolation with an S"..." syntax that desugars to an interpolate class and builder-style combinators; a… | ||
| Lightning Talks | 36m | |
Four quick updates: a small parser/pretty-printer library surfaces as a candidate library on Hackage awaiting a better name; Bluespec gains “associated type… | ||
| nothing matches | ||