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: Modern Systems Programming And Scala Native With Richard Whaling

Tech Talk: Modern Systems Programming And Scala Native With Richard Whaling

Richard Whaling has an interesting perspective on software development. If you write software for the JVM or if you are interested in low level system programming, or even doing data heavy or network ...

22 Helmi 201953min

Burn out and recreational coding with Jamis Buck

Burn out and recreational coding with Jamis Buck

A decade ago Jamis Buck was not loving his job. He was an important open source contributor. He worked for the hottest trendiest software company at the time, 37 signals, creator of ruby on rails. He ...

25 Tammi 201959min

Tech Talk: Software as a Reflection of Values With Bryan Cantrill

Tech Talk: Software as a Reflection of Values With Bryan Cantrill

Which operating system is the best? Which programming language is the best? What text editor? Bryan Cantrill, CTO of Joyent says that is the wrong question. Languages, operating systems and communitie...

18 Joulu 20181h 19min

Tech Talk: The Little Typer With Daniel Friedman and David Thrane Christiansen

Tech Talk: The Little Typer With Daniel Friedman and David Thrane Christiansen

Tech Talks are in-depth technical discussions. When it comes to type systems "I am, so far, only in the dependent types camp" - Daniel P. Friedman You can write more correct software and even rigorous...

1 Joulu 20181h 7min

Tech Talk: Big Ball Of Mud

Tech Talk: Big Ball Of Mud

Tech Talks are in-depth technical discussions. Evolving software under constrained resources is a challenge, and I think we kid ourselves when we don't admit this. Software that is providing value oft...

14 Marras 20181h

Tech Talk: God's Programming Language - Philip Wadler on Haskell

Tech Talk: God's Programming Language - Philip Wadler on Haskell

Tech Talks are in-depth technical discussions. Today I talk to Professor Philip Wadler, a very accomplished programming language researcher.  Phil walks us through a principle that has guided his care...

22 Loka 20181h

Tech Talk: Test in Production and being On-Call with Charity Majors

Tech Talk: Test in Production and being On-Call with Charity Majors

Tech Talks are in-depth technical discussions. "Metrics and Dashboards can die in a fire and every software engineer should be on-call" - Charity Majors Today's Interview is with Charity Majors. We ta...

31 Elo 201847min

Tech Talk: Domain Driven Design And Microservices

Tech Talk: Domain Driven Design And Microservices

Tech Talks are in-depth technical discussions. Today I talk to Vaughn Vernon about how Domain Driven Design can help with designing microservices.  The guidelines that Vaughn has developed in his work...

17 Elo 201849min

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