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