Well-Typed was strongly represented at this year’s ZuriHac, with our team of Haskell experts giving six talks across ZuriHac itself and the Haskell Ecosystem and Implementors’ Workshops. If you couldn’t make it to ZuriHac, the recordings are now available. In addition, we are delighted that Dominik will be giving a keynote talk at MuniHac 2026 on 11th October, and there’s still time to register for MuniHac!
ZuriHac Advanced Track
Andres and Andrea hosted the Advanced Track at ZuriHac, delivering two one-hour presentations on implementing dependently typed languages in Haskell, with a focus on dependent pattern matching. They provide a good introduction to the world of dependent types as well as an in-depth discussion for language implementors.
Haskell Ecosystem Workshop
Andreas gave an excellent talk on how to contribute to the Haskell ecosystem and why companies in particular should want to do so.
Haskell Implementors Workshop
The Haskell Implementors Workshop was a great opportunity to share our progress on improvements to GHC over the last year. It’s always nice to take a moment to reflect on the progress we’ve made and the work we’ve done.
Andreas kicked things off with the annual GHC status report. This report provides a summary of the essential maintenance and community stewardship work that Well-Typed performs for the GHC project.
Next, Hannes introduced a prototype implementation of ghc-stack-profiler, a lightweight profiler that allows you to profile your application without compiling with -prof.
The profiler uses source locations from -finfo-table-map for human readable profiles and can be used with GHC 9.10 and onwards.
Expect an in-depth post about ghc-stack-profiler soon!
You can also read more about our work in this area in posts tagged with profiling.
Finally, Rodrigo presented his progress on the haskell-debugger, a standalone step-through debugger for GHC.
Since last year’s first introduction, many new features have been implemented, such as support for backtraces with source locations, custom debug visualisations of values and using the external interpreter for debugging multi-threaded applications.
Conclusion
Well-Typed offer Haskell Ecosystem Support Packages in partnership with the Haskell Foundation, to provide commercial users with support from Well-Typed’s experts, while investing in the Haskell community and its technical ecosystem. These projects were made possible by funding from our clients, notably Mercury, who are improving the experience for Haskell developers by supporting foundational work on Haskell tools.
It was great to meet everyone who attended the workshops and asked interesting questions during and after the talks. We hope to see you all again at MuniHac, or at next year’s ZuriHac!