
Go offline with the Player FM app!
#54 The Goal of Science is to Communicate Ideas! - Philip Wadler
Manage episode 509146941 series 2951423
Beem vindos to one more episode of the Type Theory Forall Podcast. In this episode the great honor to interview a living legend in the field of Programming Languages and Type Theory. Philip Wadler is well known, celebrated and recognized researcher in the field especially for his unique ability to explain complex ideas in a simple and elegant way. Philip Wadler got his Bachelor in 1977 at Stanford, his Masters in 79 and his PhD in 84 both at CMU. In 2023, he was awarded the distinguished honor of being elected a Fellow of the Royal Society, joining the ranks of scientific greats such as Isaac Newton and Charles Darwin.
Philip Wadler describes himself as someone who likes to bring theory into practice, and practice into theory. In this episode we talk about his prolific research, the story behind Monads and Type Classes, Category Theory and Homotopy Type Theory.
Throughout our conversation, in response to my eagerness to understand the philosophy and method behind his remarkable papers, he repeatedly emphasizes that the whole point of science is clearly communicating ideas so that others can build upon them.
Links
Wadler's Website Ullman's Advising Students For Success
Grad School Mentorship Consider contributing to this show through our ko-fi!
93 episodes
Manage episode 509146941 series 2951423
Beem vindos to one more episode of the Type Theory Forall Podcast. In this episode the great honor to interview a living legend in the field of Programming Languages and Type Theory. Philip Wadler is well known, celebrated and recognized researcher in the field especially for his unique ability to explain complex ideas in a simple and elegant way. Philip Wadler got his Bachelor in 1977 at Stanford, his Masters in 79 and his PhD in 84 both at CMU. In 2023, he was awarded the distinguished honor of being elected a Fellow of the Royal Society, joining the ranks of scientific greats such as Isaac Newton and Charles Darwin.
Philip Wadler describes himself as someone who likes to bring theory into practice, and practice into theory. In this episode we talk about his prolific research, the story behind Monads and Type Classes, Category Theory and Homotopy Type Theory.
Throughout our conversation, in response to my eagerness to understand the philosophy and method behind his remarkable papers, he repeatedly emphasizes that the whole point of science is clearly communicating ideas so that others can build upon them.
Links
Wadler's Website Ullman's Advising Students For Success
Grad School Mentorship Consider contributing to this show through our ko-fi!
93 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.