Research, create, improve and maintain programming languages and their tooling to enhance developer productivity and to deliver reliable, maintainable, correct and performant software with minimum effort.

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.

A summary of the open-source work done by the Programming Languages & Compilers team at Tweag in the second quarter of 2024.

A tale of optimising GHC by improving sharing in its intermediate representation.

A GHC pattern for improving the user experience of type-level programs

A simple trick to fuzz Haskell programs with libFuzzer

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.

How we gained 2–3% improvements in compile times by making GHC better at printing code.

Announcing the GHC WebAssembly backend – present and future

Exploration of a regression in GHC's bytecode generator performance

A tutorial on how to write a type-checking plugin for GHC

In part two of this series on type-checking plugins, we will see how GHC's constraint solver works.

Why would you want to write a type-checking plugin? Many limitations of the GHC type-checker are exposed here.