Integrating Liquid Haskell with GHC

on YouTube ↗29m

" summary

Liquid Haskell runs as a GHC plugin and is ~60,000 lines of code with about 30,000 lines touching the GHC API; upgrades lag by several versions and the last move to GHC 9.2 cost roughly 10 days of work. The concrete proposals are to publish the exact GHC functions and type signatures used, add small assumption tests that detect semantic breaks, keep a recovery log of recommended replacements, and run these lightweight checks regularly to speed fixes.

AI-written summary · about

" chapters (11)

1. 0:00Liquid Haskell and GHC
2. 1:14Liquid Haskell use cases
3. 3:20Advanced Liquid Haskell optimizations
4. 6:09Why Liquid Haskell matters
5. 7:36Q&A: Partial functions & bounds
6. 9:00Liquid Haskell and GHC API
7. 13:55GHC API integration challenges
8. 17:04Testing GHC API assumptions
9. 21:48Q&A: CI integration
10. 23:13Liquid Haskell as GHC plugin
11. 25:02Future team collaboration

" related talks

• 19mUsability Barriers for Liquid TypesAlcides Fonseca, Jonathan Aldrich, Catarina Gamboa, Abigail Elena Reese · PLDI 2025
• 01h 26mHaskell Language ServerZubin Duggal · 2023 GHC Contributors' Workshop
• 03mInterviewJoe Kachmar · Scale By The Bay 2018
• 43mVisual-textual functional programming with LunaPiotr Moczurad · Lambda Days 2018
• 01h 29mHaskell Summer of Code PresentationsAaron Allen · Haskell 2023
• 13mLightning Talk Slot #3: The Haskell Optimization HandbookJeffrey M. Young · HIW 2022
• 27mFusing Industry and Academia at GitHub (Experience Report)Tom Schrijvers, Nicolas Wu, Patrick Thomson, Rob Rix · ICFP 2022
• 15mHaskell Playground (WIP)Tom J. Smeding · HIW 2022