Type Theory Forall#62 Dependent Haskell<br>Vladislav Zavialov<br>Jun 13th 2026   |  125 min

Show video

0:00<br>0:00

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<br>Serokell on X<br>Vlad on X<br>Dependent Haskell Roadmap

If you enjoy the show please consider supporting us: https://www.typetheoryforall.com/patreon

RSS-Feed

Tip me on Ko-fi

RSS-Feed

Tip me on Ko-fi