In this episode, Vlad discusses his work on the Glasgow Haskell Compiler and the implementation of Dependent Haskell. He explains how changes to Haskell are proposed and evaluated through the Haskell Steering Committee, gives a practical overview of GHC internals, and shares advice for newcomers who want to start contributing to the compiler. The conversation also goes deeper into the theory and implementation challenges behind bringing dependent types to Haskell.
In this episode, Vlad discusses his work on the Glasgow Haskell Compiler and the implementation of Dependent Haskell. He explains how changes to Haskell are proposed and evaluated through the Haskell Steering Committee, gives a practical overview of GHC internals, and shares advice for newcomers who want to start contributing to the compiler. The conversation also goes deeper into the theory and implementation challenges behind bringing dependent types to Haskell.