Type Theory Forall

#54 The Goal of Science is to Communicate Ideas! - Philip Wadler


Listen Later

Philip Wadler is a well known, celebrated and recognized researcher in the field especially for his unique ability to explain complex ideas in a simple and elegant way. He got his Bachelor in 1977 at Stanford, his Masters in 1979 and his PhD in 1984 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.

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!

...more
View all episodesView all episodes
Download on the App Store

Type Theory ForallBy Pedro Abreu

  • 4.8
  • 4.8
  • 4.8
  • 4.8
  • 4.8

4.8

13 ratings


More shows like Type Theory Forall

View all
Hanselminutes with Scott Hanselman by Scott Hanselman

Hanselminutes with Scott Hanselman

380 Listeners

The Quanta Podcast by Quanta Magazine

The Quanta Podcast

526 Listeners

ChinaTalk by Jordan Schneider

ChinaTalk

284 Listeners

CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

CoRecursive: Coding Stories

188 Listeners

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll | Wondery

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

4,131 Listeners

Iowa Type Theory Commute by Aaron Stump

Iowa Type Theory Commute

17 Listeners

Dwarkesh Podcast by Dwarkesh Patel

Dwarkesh Podcast

456 Listeners

Signals and Threads by Jane Street

Signals and Threads

73 Listeners

The Haskell Interlude by Haskell Podcast

The Haskell Interlude

13 Listeners

Software Unscripted by Richard Feldman

Software Unscripted

26 Listeners

The Rest Is Politics by Goalhanger

The Rest Is Politics

3,324 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

59 Listeners

The Rest Is Money by Goalhanger

The Rest Is Money

183 Listeners

BG2Pod with Brad Gerstner and Bill Gurley by BG2Pod

BG2Pod with Brad Gerstner and Bill Gurley

483 Listeners