My favorite talk of all time is “Y Not - Adventures in Functional Programming by Jim Weirich”.

https://m.youtube.com/watch?v=FITJMJjASUs