51 min listen
Tech Talk: Dependent Types in Haskell with Stephanie Weirich
Tech Talk: Dependent Types in Haskell with Stephanie Weirich
ratings:
Length:
59 minutes
Released:
Jun 13, 2018
Format:
Podcast episode
Description
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 was heterogeneous, the elements had different types, and it was all inferred and validated at compile time. What I was seeing was Dependent types in Haskell. In today's interview Stephanie Weirich explains her efforts to add dependent types to haskell and how that example worked. Shows Notes: Dependent Types in Haskell Talk https://www.cis.upenn.edu/~sweirich/ https://github.com/sweirich @fancytypes Dependent Types Regex
Released:
Jun 13, 2018
Format:
Podcast episode
Titles in the series (91)
Purescript And Avocados with Justin Woo: Purescript is a functional programming language that compiles to javascript. It is a strict haskell dialect that can run anywhere that javascript does. Justin Woo is a self described Purescript evangelist and enthusiast. We talk about purescript... by CoRecursive: Coding Stories