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: LISP in Space

Story: LISP in Space

Have you ever had a unique approach to a problem and been excited to use it, but you're met with skepticism?   Today's story: what happens if you take someone who's passionate about LISP and put them ...

2 Maj 202238min

Chat: April Fools' Is Cancelled

Chat: April Fools' Is Cancelled

On this day in 2014 "lame april fools' jokes" were banned from hacker news.    Today in our first This-Day-in-History segment, I want to share some of history not just of April Fools', but of tech pra...

1 Apr 202238min

Story: The Story Graph with Nadia Odunayo

Story: The Story Graph with Nadia Odunayo

Whenever I work on a side project, I can't help but daydream of it taking off in a big way. For today's guests, something like that did happen.    When Nadia started building her side project, she did...

2 Mars 202248min

Story: Serenity OS

Story: Serenity OS

How would you build an operating system?     My answer is I wouldn't. First off, I don't know how. And the second thing is it seems like to large of a task. It took thousands of developers to build Wi...

1 Feb 202241min

Chat: The Internet Is Made of Duct Tape

Chat: The Internet Is Made of Duct Tape

Today, I have two of my favorite guests together: Krystal Maughan and Don McKay. We are going to be sharing strange and interesting facts about computing. I'm super pumped about this because, sometime...

2 Jan 202242min

Story: Cocoa Culture

Story: Cocoa Culture

The last episode, I said I wasn't sure there was such a thing as culture, but that's not the case. Every place I've worked has been a bit different, and often those differences had huge impacts on the...

2 Dec 202144min

Story: Leaving Debian

Story: Leaving Debian

Today's story is an insider view of Debian. One of the oldest Linux distributions and probably one of the longest-running volunteer-based open-source projects. Joey Hess is my guest, and he dedicated ...

2 Nov 202140min

Story: The Original Remote Developer

Story: The Original Remote Developer

Today's episode is about remote work. Well, sort of. I found someone with a different perspective on remote work and a fantastic story to share, Paul Lutus. I think that he might be the original remo...

4 Okt 202141min

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