Add episode 62 (#478)

Author: Tritlo

podcast/61/index.markdown

@@ -2,7 +2,7 @@
 title: Sam Lindley
 episode: 61
 buzzsproutId: 16485805
-recorded: 2024-11-15
+recorded: 2024-11-13
 published: 2025-01-22
 ---
 Sam Lindley is a Reader in Programming Languages Design and Implementation at the University of Edinburgh. In this episode, he tells us how difficult naming is, the different kinds of effect systems and handlers, languages *much* purer than Haskell, and Modal logic.

podcast/62/index.markdown

@@ -0,0 +1,8 @@
+---
+title: Conal Elliott
+episode: 62
+buzzsproutId: 16636818
+recorded: 2024-11-13
+published: 2025-02-17
+---
+In this episode Wouter Swiestra and Niki Vazou talk with Conal Elliott. Conal discusses doing things just for the poetry, how most programs miss their purpose, and the simplest way to ask a question. Conal is currently working on a book about his ideas and actively looking for partners.

podcast/62/links.markdown

@@ -0,0 +1,15 @@
++ [Conal's homepage](http://conal.net/)
++ [Conal's PhD thesis](http://conal.net/papers/elliott90.pdf)
++ [Functional Reactive Animation](http://conal.net/papers/icfp97/).
++ [Hugs](https://www.haskell.org/hugs/)
++ [Conal's Automatic Differentiation paper](http://conal.net/papers/essence-of-ad/)
++ [Conal's Compiling to Categories paper](http://conal.net/papers/compiling-to-categories/)
++ [Denotational design](http://conal.net/papers/type-class-morphisms/)
++ [John Backus Turing Award](https://amturing.acm.org/award_winners/backus_0703524.cfm)
++ [Can programming be liberated from the von Neuman style? By John Backus](https://worrydream.com/refs/Backus_1978_-_Can_Programming_Be_Liberated_from_the_von_Neumann_Style.pdf)
++ [Why Functional Programming Matters by J. Hughes](https://www.cse.chalmers.se/~rjmh/Papers/whyfp.html)
++ [Frank Pfenning](https://www.cs.cmu.edu/~fp/)
++ [Dana Scott](https://en.wikipedia.org/wiki/Dana_Scott)
++ [Bob Harper](https://www.cs.cmu.edu/~rwh/)
++ [Lambda Prolog](https://en.wikipedia.org/wiki/%CE%9BProlog)
++ "A theory appears beautiful or elegant [...] when it's simple; in other words when it can be expressed very concisely in terms of mathematics that we've already learned for some other reasons." [Murray Gell-Mann, Beauty and Elegance in Physics](https://www.youtube.com/watch?v=anHgZru8acg&t=379s)