Tech Talk: Dependent Types in Haskell with Stephanie Weirich

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 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:

Det här avsnittet är hämtat från ett öppet RSS-flöde och publiceras inte av Podme. Det kan innehålla reklam.

Avsnitt(115)

Story: Leaving Stripe

Story: Leaving Stripe

What if leaving your dream job was the way to discover your true self?    Jon de la Motte failed his first Stripe interview, but he didn't give up. It was his dream job, a company that connected with ...

2 Jan 202551min

Story: Inside Shopify's Layoffs

Story: Inside Shopify's Layoffs

What if you had to break life-changing news to your team—could you handle the weight of their futures? Allison's journey from software engineer to compassionate leader at Shopify is filled with challe...

2 Dec 202443min

Story: ReiserFS

Story: ReiserFS

Have you ever known someone who's technical brilliance was overshadowed by personal failings? This is the story of Hans Reiser, a software developer driven to create a superior Linux filesystem, but w...

4 Nov 202452min

Story: From Everest to Startups: Yoshio's Journey of Resilience and Coding

Story: From Everest to Startups: Yoshio's Journey of Resilience and Coding

How do you know what matters? What if training to climb Everest left you certain you were on the wrong career path? Join us as we explore Yoshio's incredible journey from the heights of Everest, to co...

2 Okt 202450min

Story: From Code to Capital - Tim Chen's Journey from Engineer to VC

Story: From Code to Capital - Tim Chen's Journey from Engineer to VC

What if your corporate job left you feeling empty, and you decided to leap into venture capital? Tim Chen, a software engineer, was disillusioned with corporate life at Microsoft. The 2008 market cras...

2 Sep 202446min

Behind the Mic: Adam Gordon Bell on Communication with Software Misadventures Podcast

Behind the Mic: Adam Gordon Bell on Communication with Software Misadventures Podcast

Today the tables have turned and you're going to hear someone interview me.  Ronak and Guang from the Software Misadventures podcast are going to interview me  about podcasting. My history as a softwa...

6 Aug 20241h 3min

Story: Jeffrey Snover and the Making of PowerShell

Story: Jeffrey Snover and the Making of PowerShell

What if you had to fight against your company's culture to bring a revolutionary tool to life? Meet Jeffrey Snover, the Microsoft architect behind PowerShell, a command tool that transformed Windows s...

4 Juli 202449min

Story: From Burnout to Breakthrough

Story: From Burnout to Breakthrough

Can you imagine risking your career to making coding easier to learn? Meet Felienne Hermans, a professor who did just that by stepping beyond academia to redefine coding education. Disillusioned by he...

4 Juni 202452min

Populärt inom Politik & nyheter

aftonbladet-krim
motiv
svenska-fall
p3-krim
aftonbladet-daily
politiken
flashback-forever
rss-krimstad
spar
rss-expressen-dok
rss-sanning-konsekvens
rss-vad-fan-hande
olyckan-inifran
kungligt
grans
rss-krimreportrarna
blenda-2
rss-aftonbladet-krim
rss-frandfors-horna
dagens-eko