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 mathematical proofs. Prepare for some mind stretching.

Previous guests like Edwin Brady and Stephanie Weirich have discussed some of the exciting things a dependent type system can do Miles Sabin said dependent types are surely the future. This interview is to get us ready for the future.

Daniel P. Friedman is famous for his "Little" series of books. Little Schemer, Little prover, Little MLer and so on. These books are held in high regard.

Here is a quote from Doug Crockford: "Little Schemer teaches one thing, a thing that is very difficult to teach, a thing that every profession programmer should know, and it does it really well. These are lessons that stick with you."
The latest one is the little typer and its about types. Specifically dependent types.

Dan's coauthor is David Thrane Christiansen, Idris contributor, and host of a podcast about type theory that is way over my head.

Together they are going to teach us how the programming skills we already have can be used to develop rigourus mathematical proofs.

Stay tuned to the end for my guide to working thru the book.

Originally published at CoRecursive here

Join Our Slack Community

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)

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 Tammi 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 Joulu 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 Marras 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 Loka 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 Syys 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 Elo 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 Heinä 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 Kesä 202452min

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