diff --git a/podcast/61/index.markdown b/podcast/61/index.markdown index e1f20b7a..d044026d 100644 --- a/podcast/61/index.markdown +++ b/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. diff --git a/podcast/62/index.markdown b/podcast/62/index.markdown new file mode 100644 index 00000000..b0051b56 --- /dev/null +++ b/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. diff --git a/podcast/62/links.markdown b/podcast/62/links.markdown new file mode 100644 index 00000000..a71f7d62 --- /dev/null +++ b/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)