Haskell Interlude 70: Phil Wadler

Author: mikesperber

podcast/70/index.markdown

@@ -0,0 +1,18 @@
+---
+title: Phil Wadler
+episode: 70
+buzzsproutId: FIXME
+recorded: 2025-07-15
+published: 2025-09-14
+---
+
+We sat down with Phil Wadler, one of the most influential folks in the
+Haskell community, functional programming, and programming languages,
+responsible for type classes, monads, and much more. We take a stroll
+down memory lane, starting from Haskell's inception. We talked about
+the difference between research and Phil's work on impactful
+industrial projects and standards - specifically XML and the design of
+generics in Java, as well as Phll's teaching at the University of
+Edinburgh using Agda.. Phil is a fountain of great ideas and stories,
+and this conversation could have gone on for hours. As it is, we hope
+you enjoy the hour that we had as much as we did.

podcast/70/links.markdown

@@ -0,0 +1,29 @@
+- [Phil Wadler's home page](https://homepages.inf.ed.ac.uk/wadler/)
+- [Miranda](https://www.cs.kent.ac.uk/people/staff/dat/miranda/) (predecessor of Haskell)
+-
+[Orwell](https://en.wikipedia.org/wiki/Orwell_(programming_language)) (predecessor of Haskell)
+- [Paul Hudak](https://en.wikipedia.org/wiki/Paul_Hudak)
+- [Simon Peyton Jones's homepage](https://simon.peytonjones.org/)
+- [Hudak et al. - History of Haskell: being lazy with class](https://dl.acm.org/doi/10.1145/1238844.1238856) (paper)
+- [Wadler, Blott - How to make ad-hoc polymorphism less ad hoc](https://dl.acm.org/doi/10.1145/75277.75283) (original paper on type classes)
+- [KRC](https://www.cs.kent.ac.uk/people/staff/dat/krc/) (predecessor of Miranda)
+- [ISWIM programming language](https://en.wikipedia.org/wiki/ISWIM)
+- [Hoare - Hints on Programming Language Design](https://www.cs.yale.edu/flint/cs428/doc/HintsPL.pdf) (paper)
+- [Mark Jones's homepage](https://web.cecs.pdx.edu/~mpj/)
+- [Jones - A system of constructor classes: overloading and implicit higher-order polymorphism](https://dl.acm.org/doi/10.1145/165180.165190) (paper)
+- [Jones - Type Classes with Functional Dependencies](https://web.cecs.pdx.edu/~mpj/pubs/fundeps.html) (paper)
+- [Wadler - The essence of functional programming](https://dl.acm.org/doi/10.1145/143165.143169) (initial paper on the use of monads in Haskell)
+- [Spivey - A Functional Theory of Exceptions](https://www.cs.tufts.edu/~nr/cs257/archive/mike-spivey/functional-exns.pdf)
+- [Moggi - Notions of computation and monads](https://www.cs.cmu.edu/~crary/819-f09/Moggi91.pdf) (paper)
+- [Gordon - Functional Programming and Input/Output](Andrew Gordon's PhD thesis, which introduced the `>>=` name)
+- [Bird, Wadler - Introduction to Functional Programming](https://usi-pl.github.io/doc/Bird_Wadler.%20Introduction%20to%20Functional%20Programming.1ed.pdf) (book)
+- [Wadler - A prettier printer](https://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf)
+- [Odersky, Wadler - Pizza into Java: translating theory into practice](https://dl.acm.org/doi/10.1145/263699.263715) (paper)
+- [Martin Odersky's home page](https://people.epfl.ch/martin.odersky)
+- [Ariola et al. - A call-by-need lambda calculus](https://dl.acm.org/doi/10.1145/199448.199507)
+- [Agda](https://wiki.portal.chalmers.se/agda/pmwiki.php)
+- [Wadler - Programming Language Foundations in Agda](https://plfa.github.io/) (book)
+- [Bob Harper's homepage](https://www.cs.cmu.edu/~rwh/)
+- [Lambdaman/Lambdawoman t-shirt](https://www.customink.com/fundraising/lambdaman)
+- [A List of Successes That Can Change the World](https://eprints.gla.ac.uk/118161/) (festschrift for Phil's 60th birthday)
+