17 April 2025
Frontend live-coding via ghci
Demonstrate the GHC wasm backend ghci browser mode and how it can be used to live-code a Haskell wasm frontend app.
21 November 2024
GHC's wasm backend now supports Template Haskell and ghci
A summary of the current support status of Template Haskell and ghci in GHC's wasm backend, explaining how it's implemented and laying out potential future improvements.
22 August 2024
Programming Languages & Compilers Activity Report - Q2 2024
A summary of the open-source work done by the Programming Languages & Compilers team at Tweag in the second quarter of 2024.
15 August 2024
Let there be types: observable type sharing for GHC Core
A tale of optimising GHC by improving sharing in its intermediate representation.
20 July 2023
How to Prevent GHC from Inferring Types with Undesirable Constraints
A GHC pattern for improving the user experience of type-level programs
15 June 2023
Coverage-guided fuzzing of Haskell programs for cheap
A simple trick to fuzz Haskell programs with libFuzzer
1 June 2023
Testing Control-Flow Translations in GHC
Translations of control flow can be tested before the rest of the code generator is ready. The tests examine sequences of abstract state transformations and observations.
22 December 2022
Making GHC faster at emitting code
How we gained 2–3% improvements in compile times by making GHC better at printing code.
22 November 2022
WebAssembly backend merged into GHC
Announcing the GHC WebAssembly backend – present and future
27 October 2022
A nub in the haystack
Exploration of a regression in GHC's bytecode generator performance
17 February 2022
Type-checking plugins, Part III: writing a type-checking plugin
A tutorial on how to write a type-checking plugin for GHC
9 December 2021
Type-checking plugins, Part II: GHC's constraint solver
In part two of this series on type-checking plugins, we will see how GHC's constraint solver works.
21 October 2021
Type-checking plugins, Part I: Why write a type-checking plugin?
Why would you want to write a type-checking plugin? Many limitations of the GHC type-checker are exposed here.