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:

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(115)

Tech Talk: The Business Of Developer Tools With Lee Edwards

Tech Talk: The Business Of Developer Tools With Lee Edwards

How do you build a business around tools for software engineers? Adam talks to Lee Edwards, a VC who spends a lot of time thinking about this question. "When I think about is this a good business, I t...

18 Joulu 201937min

Tech Talk: Software in Context with Zach Tellman

Tech Talk: Software in Context with Zach Tellman

Tech Talks are in-depth technical discussions. Adam talks to Author and Clojure advocate Zach Tellman about how great software is built. "If we say something is over-engineered, what we mean is it's t...

2 Joulu 201953min

Tech Talk: Beautiful and Useless Coding with Allison Parrish

Tech Talk: Beautiful and Useless Coding with Allison Parrish

Tech Talks are in-depth technical discussions. Generative Art involves using the tools of computation to creative ends. Adam talks to Allison Parrish about how she uses word vectors to create unique p...

16 Marras 201952min

Tech Talk: Tech Evangelism and Open source With Gabriel Gonzalez

Tech Talk: Tech Evangelism and Open source With Gabriel Gonzalez

What makes some pieces of technology take off? Why is java popular and not small talk or Haskell. Gabe is a popular blogger, a former Haskell cheerleader, and creator of the Dhal configuration languag...

1 Marras 20191h 7min

Tech Talk: Structure and Interpretation of Computer Programs with Hal Abelson

Tech Talk: Structure and Interpretation of Computer Programs with Hal Abelson

Tech Talks are in-depth technical discussions. Adam talks to Hal Abelson about the textbook he coauthored in 1984, SICP and why it is still popular and influential today. "If you pick up almost any co...

1 Loka 201956min

Tech Talk: Open Source Health and Diversity with Heather C Miller

Tech Talk: Open Source Health and Diversity with Heather C Miller

Tech Talks are in-depth technical discussions. Heather C Miller is an Assistant Processor at CMU. She is concerned that key open source projects are at risk of failure and no one is paying attention. ...

15 Syys 201941min

Tech Talk: Compiling to Bytecode with Thorsten Ball

Tech Talk: Compiling to Bytecode with Thorsten Ball

Tech Talks are in-depth technical discussions. What do compilers do? What is the runtime of a language? What does it mean to compile something down to bytecode and what executes the byte code. Throste...

1 Syys 201958min

Tech Talk: Bartosz Milewski on Category Theory

Tech Talk: Bartosz Milewski on Category Theory

Tech Talks are in-depth technical discussions. Today Adam talks to Bartosz Milewski. He is the author of a famous blog series, lecture series and now book on Category Theory for programmers. The world...

15 Elo 201953min

Suosittua kategoriassa Politiikka ja uutiset

uutiscast
aikalisa
politiikan-puskaradio
viisupodi
ootsa-kuullut-tasta-2
rss-ootsa-kuullut-tasta
tervo-halme
rss-vaalirankkurit-podcast
rss-asiastudio
rss-podme-livebox
rss-pinnalla
the-ulkopolitist
otetaan-yhdet
rss-ulkopoditiikkaa
aihe
linda-maria
et-sa-noin-voi-sanoo-esittaa
rss-kaikki-uusiksi
rikosmyytit
rss-kyselytunti