Search a title or topic

Over 20 million podcasts, powered by 

Player FM logo
Artwork

Content provided by Christoffer Ekeroth. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Christoffer Ekeroth or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.
Player FM - Podcast App
Go offline with the Player FM app!

#1 Sergei Winitzki

1:48:08
 
Share
 

Manage episode 480084430 series 3662840
Content provided by Christoffer Ekeroth. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Christoffer Ekeroth or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.

Sergei Winitzki is a functional programming aficinado with a background in theoretical physics. We get into a whole bunch of topics, including:

What makes a good programming language?

Why the future of programming is declarative.

How to design a programming language.

Dhall and System F Omega.

Why recursion is more dangerous than you might think.

Episode links:

The Science of Functional Programming

Programming in System F⍵

⁠Alan Kay - Is it really "Complex"? Or did we just make it "Complicated"?⁠

Beautiful Racket

The Dhall Configuration Language

Scall - A Dhall implementation in Scala

Dhall implementation guide

Intro Music: Lofi Rnb Music by SigmaMusicArt

  continue reading

3 episodes

Artwork
iconShare
 
Manage episode 480084430 series 3662840
Content provided by Christoffer Ekeroth. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Christoffer Ekeroth or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.

Sergei Winitzki is a functional programming aficinado with a background in theoretical physics. We get into a whole bunch of topics, including:

What makes a good programming language?

Why the future of programming is declarative.

How to design a programming language.

Dhall and System F Omega.

Why recursion is more dangerous than you might think.

Episode links:

The Science of Functional Programming

Programming in System F⍵

⁠Alan Kay - Is it really "Complex"? Or did we just make it "Complicated"?⁠

Beautiful Racket

The Dhall Configuration Language

Scall - A Dhall implementation in Scala

Dhall implementation guide

Intro Music: Lofi Rnb Music by SigmaMusicArt

  continue reading

3 episodes

All episodes

×
 
Loading …

Welcome to Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

 

Listen to this show while you explore
Play