Stephanie Weirich – Adam Gordon Bell
Stephanie Weirich is a computer scientist. Adam Gordon Bell is a software developer and an interview host. We found 1 podcast interview connecting Stephanie Weirich and Adam Gordon Bell.
Feel free to follow both profiles to receive their upcoming podcast interview appearances in your personal feed.
Episodes with Stephanie Weirich & Adam Gordon Bell
Adam Gordon Bell
&
Stephanie Weirich
•
13 Jun 2018
• EN
Tech Talk: Dependent Types in Haskell with Stephanie Weirich
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