Profile Picture
Learn from software development experts. Hosted by Adam Gordon Bell

Dependent Types in Haskell with Stephanie Weirich

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:

Leave a Comment

Your email address will not be published. Required fields are marked *

Name

E-Mail

Website

Comment

  1. Love the show! Really excellent material and guests. Can I request Alexis King on as a guest? I’d really like to hear about Hackett, macros, academia, and using Haskell at work.

    Kindest,

    John

    • Adam Bell

      September 5, 2018

      Hey John,
      Great suggestion, I’m on it. Glad you like the show, spread the word 🙂

Subscribe In Itunes!

Dependent Types in Haskell with Stephanie Weirich