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

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: 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 Jan 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 Dec 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 Nov 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 Okt 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 Sep 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 Aug 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 Juli 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 Juni 202452min

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