Integrating Liquid Haskell with GHC - Challenges and Trade-offs

Explore the challenges and trade-offs of integrating Liquid Haskell with the Glasgow Haskell Compiler (GHC) in this conference talk from HIW'23. Delve into the complexities of maintaining a GHC API client, examining the potential benefits and drawbacks of merging Liquid Haskell and GHC projects. Analyze the assumption that deeper integration would enhance the Liquid Haskell user experience, and consider the implications for both Liquid Haskell and GHC developers. Gain insights into the ongoing struggle of keeping Liquid Haskell up-to-date with new GHC releases, and understand the factors influencing decisions on how closely to integrate with Haskell and GHC.

[HIW'23] Integrating Liquid Haskell with GHC