Episode
Tech Talk: Dependent Types in Haskell with Stephanie Weirich
CoRecursive: Coding Stories · Jun 13, 2018 · 59 min
Tech Talks are in-depth technical discussions. At Strange loop 2017, a wandered into a talk where I saw some code that deeply surprised me. The code could have been python if you squinted, passing dictionaries around, no type annotations anywhere. Yet key look up in the dictionary was validated at compile time. It was a compile time error to access elements that didn't exist. Also the dictionary…