28: Richard Eisenberg
The Haskell Interlude
00:00
The Pain of Singleton-Based Programming
Sam Lindley and Connor McBride were trying to convince Simon and Stephanie that Hasakos should have real dependent types. And up until then, at least Stephanie was pretty unconvinced about the need for real dependent types in Haskell. The idea of being able to have right in your program a proof that it's correct and have the type checker check that just seems so powerful. This is how you started working on full dependent types for Haskell.
Transcript
Play full episode
