2025 Haskell Implementors' Workshop
2025-06-06
Rapperswil, Switzerland
| title | author | length |
|---|---|---|
| Lightning talks | 38m | |
Benchmarks show a Haskell library block-io-uring reaches about 1.45M IOps on eight cores and hundreds of thousands of lookups/sec in a production on-disk KV… | ||
| GHC’s RISC-V Native Code Generation Backend | Sven Tennie | 28m |
GHC gains a RISC-V Native Code Generator that lands in the tree (merged last summer and tracked as GHC 9.12 merge), complements the earlier LLVM backend, and… | ||
| Making GHCi compatible with multiple home units | Hannes Siebenhandl | 23m |
GHCi now treats multiple home units as the default: it introduces an interactive GHCI home unit that depends on all loaded components and an interactive… | ||
| Modular grammar and parser for Haskell with extensions | Mario Blažević | 25m |
A modular parser and pretty-printer at github.com/blamario/language-haskell implements Haskell 2010 plus almost all extensions by composing finally-tagless… | ||
| The GHC Debugger | Rodrigo Mesquita | 23m |
A standalone debugger application uses the GHC library and implements the Debug Adapter Protocol so VS Code, Emacs and other DAP clients can attach; it… | ||
| Towards Dream Haskell Build Experience | Ian-Woo Kim | 34m |
Mercury builds a Buck2-based Haskell system that achieves module-level incrementality and distributed caching by exposing GHC’s dependency analysis… | ||
| Catching space leaks at compile-time using th-deepstrict | Teo Camarasu | 24m |
Claim: laziness only causes unbounded leaks when code is stateful. Examples: a lazy fold that builds a thunk chain, an average accumulator whose top-level… | ||
| Intensional Analysis of Typed Template Haskell Quotations | Ellis Kesterton, Matthew Pickering | 22m |
A system desugars Typed Template Haskell quotations into a well-typed PHOAS AST so quoted expressions become inspectable and transformable rather than opaque… | ||
| An alternative to CPP | Alan Zimmerman | 26m |
Proposal implements a GHC builtin minimal CPP replacement that only supports conditional compilation, integrates into the lexer/parser pipeline, and aims to be… | ||
| Required Type Arguments | Vladislav Zavialov | 26m |
GHC gains a new extension that lets callers supply visible type arguments using a termlike syntax so APIs drop proxies and explicit type applications; a… | ||
| GHC Status Report | Andreas Klebinger, Ben Gamari | 58m |
There are eight releases across four release series in the past 12 months and a milestone release (9.6.7) is cut by an external employer, showing the release… | ||
| More Buck for your Bang - Lifting BangPatterns to the Type Level | Andreas Klebinger | 23m |
Proposes making bangs part of types via a bang type family and a worker/wrapper desugaring so boxed source stays ergonomic while the compiler can emit unboxed… | ||
| Explicit Level Imports | Matthew Pickering | 24m |
Extension changes GHC so imports are annotated with levels instead of being available at all stages, disabling no implicit stage persistence and adding… | ||
| nothing matches | ||