Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video]

This episode of the Type Theory for All podcast features an in-depth conversation with Vladislav Zafalov, a contributor to the GHC compiler and the Haskell language, about his background, experience, and work on dependent types in Haskell. Vlad shares his journey from self-study to becoming a contributor to the GHC compiler and discusses the challenges and complexities of implementing dependent types in a mature language like Haskell.