In this episode, I had the honor to talk with Vladislav Zavialov, Software Engineer at #Serokell and #Haskell #GHC Technical Steering Committee member. We talked about dependent types, type systems, and functional programming.