diff --git a/podcast/53/index.markdown b/podcast/53/index.markdown new file mode 100644 index 00000000..2dc8f7eb --- /dev/null +++ b/podcast/53/index.markdown @@ -0,0 +1,8 @@ +--- +title: Garrett Morris +episode: 53 +buzzsproutId: 15434473 +recorded: 2024-05-21 +published: 2024-07-18 +--- +In this episode, Garrett Morris talks with Wouter Swierstra and Niki Vazou about his work on Haskell's type classes, how to fail successfully, and how to construct a set of ponies. diff --git a/podcast/53/links.markdown b/podcast/53/links.markdown new file mode 100644 index 00000000..450a6c1c --- /dev/null +++ b/podcast/53/links.markdown @@ -0,0 +1,10 @@ +* [Gattett's webpage](https://jgbm.github.io/) +* [Garret's DBLP](https://dblp.uni-trier.de/pid/28/8610.html) +* [Doug McIlroy - Power Series, Power Serious](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/19863F4EAACC33E1E01DE2A2114EC7DF/S0956796899003299a.pdf/div-class-title-power-series-power-serious-div.pdf) +* [House / Rebeka Leslie](https://programatica.cs.pdx.edu/House/) +* [Data types a la Carte](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/data-types-a-la-carte/14416CB20C4637164EA9F77097909409) +* [Lightweight extensible records for Haskell by Mark Jones and Simon Peyton Jones](https://web.cecs.pdx.edu/~mpj/pubs/lightrec.html) +* [Paper with James McKinna](https://dl.acm.org/doi/10.1145/3290325) +* [Mark Jone's interpret paper](https://dl.acm.org/doi/pdf/10.1145/199448.199528) +* [Session types without tiers](https://dl.acm.org/doi/10.1145/3290341) +* [Constrained Type Families](https://wiki.haskell.org/GHC/Type_families)