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

Id. d’épisode : 1000703690518

GUID : 5a73f88d-748d-467b-8cf5-8a9460ed195c

Date de publication : 16/4/2025 à 05:59:16