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 career. That principle is that typed lambda calculus is not invented but a discovery of a deep truth. It is something connected to the mathematical underpinning of the universe itself.

It follows from this that functional programming languages are therefore more correct or more deeply justified and fundamental than other languages. I am probably stating things in a stronger fashion than Phil is comfortable with, but I like fp, so I can be a little hyperbolic.

While explaining this principle, that has guided his career, Phil takes us through the history of computer science. We start with Turing and Alonzo Church. Eventually we get to what the movie Independence Day got wrong and what language a theoretical creator deity would program in.

Show notes:

Web page for this episode

CoRecursive On Twitter

CoRecursive On Itunes

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

Episoder(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 Des 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 Jul 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 Jun 202452min

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