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

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)

Chat: Quines, Polygot Code, and Other Fun Computations

Chat: Quines, Polygot Code, and Other Fun Computations

Today, previous guest and my neighbor Don Mckay and I will discuss items from the endless fascinating Cursed Computer Iceberg Meme. The Iceberg is a giant list of "the peculiarities and weirdness of c...

2 Syys 20211h 1min

Story: Full-Time Open Source

Story: Full-Time Open Source

Today's show: How to Quit Your Job and Work on Open Source Full Time. This story has it all, balancing open source work and full-time employment, building up enough supporters and enough savings to l...

2 Elo 202146min

Story: The Untold Story of SQLite

Story: The Untold Story of SQLite

On today's show, I'm talking to Richard Hipp about surviving becoming core infrastructure for the world. SQLite is everywhere. It's in your web browser, it's in your phone, it's probably in your car, ...

2 Heinä 202138min

Story: From Competitive Programming to APL

Story: From Competitive Programming to APL

Today on the show, we have solving algorithmic programming problems. You know when you interview for a job to write CSS and they ask you to reverse a binary tree on the whiteboard using C and in const...

2 Kesä 202153min

Story: Ethereum Rescue

Story: Ethereum Rescue

Today I talk to Dan Robinson about trying to get someone their money back on Ethereum. He's going to be battling this murky world of blockchain high-frequency bots. Along the way, we'll learn how trad...

2 Touko 202134min

Story: Apple 2001

Story: Apple 2001

David Shayer worked at Apple for 14 years, and he has a wild experience to share. Apple has a unique culture, and David will give us an insider view of what it was like for him at Apple during the 200...

3 Huhti 202148min

Story: Video Game Programming From Scratch

Story: Video Game Programming From Scratch

I'm not really a big gamer, but lately, I've fallen down this rabbit hole into the world of Casey Muratori, and this project that he started on Twitch in 2014. He is building a video game from scratch...

1 Maalis 202141min

Story: Reinforcement Learning At Facebook with Jason Gauci

Story: Reinforcement Learning At Facebook with Jason Gauci

If you ever wanted to learn about machine learning you could do worse than have Jason Gauci teach you. Jason has worked on YouTube recommendations. He was an early contributor to TensorFlow the open-s...

1 Helmi 202138min

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