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 ProgrammingProgramming in System F⍵Alan Kay - Is it really "Complex"? Or did we just make it "Complicated"?Beautiful RacketThe Dhall Configuration LanguageScall - A Dhall implementation in ScalaDhall implementation guideIntro Music: Lofi Rnb Music by SigmaMusicArt