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:

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(115)

Story: Configuring Identity: Adam Jacob and the Search for Self in Software

Story: Configuring Identity: Adam Jacob and the Search for Self in Software

Today, we go behind the scenes at Chef - the game changing infrastructure automation tool. Adam Jacob created Chef, and it became a massively popular DevOps tool. But despite Chef's success, Adam cons...

1 Sep 202342min

The Science of Learning to Code

The Science of Learning to Code

Learning to code can feel impossible. Like facing a sheer rock wall with no ropes or harnesses. But what if there was a path up the mountain? A trail blazed smooth by master coders who went before?  I...

2 Aug 202350min

Story: A Dark Room

Story: A Dark Room

Have you ever been frustrated with your job? Maybe not burnt out, but getting close to there? You used to love what you did, and it felt so creative and empowering, but then it starts to feel a bit mo...

3 Jul 202340min

Story: Quitting (And Then Rejoining) Stack Overflow

Story: Quitting (And Then Rejoining) Stack Overflow

Today, we meet Ben Dumke-von der Ehe, one of the early developers on the Stack Overflow team.  He was on the front lines as the platform transformed how programmers worked. And he embodies the spirit ...

2 Jun 202353min

Story: From Project Management to Data Compression Innovator

Story: From Project Management to Data Compression Innovator

How do you accomplish something massive over time? I've had the chance to meet with a number of exceptional software developers and it's something I always wonder about.  Today, I might have an answer...

2 Mai 202359min

Story: JSON vs XML

Story: JSON vs XML

Today's guest is Douglas Crockford. He's sharing the story of JSON, his discovery of JavaScript's good parts, and his approach to finding a simple way to build software. Also, his battles against XML,...

3 Apr 202349min

Story: Sun's Mobile Blunders

Story: Sun's Mobile Blunders

Shai Almog worked at Sun on Mobile JVMs just as phones started to turn from phones into something else.     Sun had deep expertise in mobile development, and amazing engineering driven culture and rel...

2 Mar 202351min

Story: Shipping Graphing Calculator

Story: Shipping Graphing Calculator

I've been on many projects that get canceled. We're building cool stuff. We're going above and beyond, and we're excited. But the project encounters reality, shifting priorities, or budgeting constrai...

2 Feb 202346min

Populært innen Politikk og nyheter

giver-og-gjengen-vg
aftenpodden
forklart
aftenpodden-usa
stopp-verden
popradet
fotballpodden-2
lydartikler-fra-aftenposten
rss-gukild-johaug
det-store-bildet
dine-penger-pengeradet
nokon-ma-ga
rss-ness
hanna-de-heldige
rss-espen-lee-usensurert
aftenbla-bla
grasoner-den-nye-kalde-krigen
rss-dannet-uten-piano
e24-podden
rss-penger-polser-og-politikk