For audio, video, and text transcripts: https://lispcast.com/why-do-we-need-a-theory-of-functional-programming/