#62 Dependent Haskell - Vladislav Zavialov

Vlad works at Serokell to develop the Glasgow Haskell Compiler, he is a former member of the Haskell Steering Committee and the current implementer of Dependent Haskell. In this conversation we talk about the development process of the GHC, he explains with detail how’s the decision process of the community to modify the language through the Haskell Steering Committee. And we get pretty technical discussing the GHC internals, he basically gives us a class of how things looks like and how can a newcomer start hacking the GHC today. And of course, we go into details of the theory and implementation of Dependent Haskell! Links Serokell Serokell on X Vlad on X Dependent Haskell Roadmap If you enjoy the show please consider supporting us: https://www.typetheoryforall.com/patreon