HIW 2022
as the organisers put it
The Haskell Implementors’ Workshop is a forum for those involved in implementing Haskell systems, infrastructure, libraries and tools, for people generally involved in implementing Haskell technology. We share our work and discuss future directions and collaborations with others. In 2022, the Haskell Implementors’ Workshop will be co-located with ICFP 2022. The workshop does not have proceedings. Talks and/or demos are proposed by submitting an abstract and selected by a small program committee. The workshop will be informal and interactive, with a flexible timetable and plenty of room for ...
| title | author | length |
|---|---|---|
| Compiling Mu with GHC: Halfway Down the Rabbit Hole | Gergő Érdi | 25m |
Migrating the Mu compiler to use GHC as a frontend targets a 4.5 million‑line codebase and already compiles real Mu programs, including complex GUI apps, after… | ||
| Annotating Deeply Embedded Languages | Robbert van der Helm, Trevor L. McDonell, Gabriele Keller | 29m |
Claims a novel implicit-parameter SourceMap mechanism that forces source-location evidence at compile time (unlike GHC HasCallStack’s loose magic), instruments… | ||
| CSI: Haskell: Fault-Localization in Lazy Languages using Runtime Tracing | Matthías Páll Gissurarson | 12m |
CSI: Haskell extends GHC’s Haskell Program Coverage to record a recently evaluated locations trace and print a short summary with runtime errors (example: head… | ||
| Welcome | 04m | |
Welcome notes outline the day: a long GHC status update slot led by Simon, regular 20-minute talks and shorter lightning talks with a few slots still open, and… | ||
| State of GHC | Simon Peyton Jones, Ben Gamari | 01h 18m |
Release notes and road map for GHC: 9.2 adds the GHC2021 flag, predictivity for polymorphism and record dot selection; 9.4 adds improved profiling with… | ||
| Lightning Talk Slot #2: An SSA-based Register Allocator for GHC | Benjamin Maurer | 07m |
Prototype SSA-based allocator for GHC NCG is built from two Castle University papers with a separate spilling phase and combined coloring/coalescing, compared… | ||
| Lightning Talk Slot #5: More recursive equations | Joachim Breitner | 24m |
Claims a pure safe API for recursive sets that admits cyclic recursive equations and computes transitive closure without explicit loops. Implements sets by… | ||
| Lightning Talk Slot #4: Modularizing GHC | Sylvain Henry | 06m |
GHC modularization introduces a modular hierarchy matching compiler architecture to reveal and reduce coupling, with work spanning three years and now focusing… | ||
| Lightning Talk Slot #1: Signature Sections | Gergő Érdi | 04m |
Proposes adding section syntax that lets (:: T) stand for \x -> x :: T so a type annotation can appear in the middle of a pipeline instead of using visible… | ||
| Lightning Talk Slot #3: The Haskell Optimization Handbook | Jeffrey M. Young | 13m |
A community-written handbook consolidates measured Haskell performance recipes into one place, backed by Haskell Foundation tech proposal 26 and hosted as a… | ||
| A look across the pond: a comparison between GHC and Racket compilation models | Alexis King | 22m |
GHC’s workflow requires running cabal and GHC subprocesses, using commands like GHC pkg dump and cabal build --write-ghc-environment-files, and sometimes… | ||
| Haskell Playground (WIP) | Tom J. Smeding | 15m |
A web playground is live at https://play-haskell.tomsmeding.com/ that runs real GHC compiled code written in Haskell and already serves as a runnable pastebin… | ||
| nothing matches | ||