Add episode 61 (#474)

Author: Tritlo

podcast/61/index.markdown

@@ -0,0 +1,8 @@
+---
+title: Sam Lindley
+episode: 60
+buzzsproutId: 16485805
+recorded: 2024-11-15
+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/61/links.markdown

@@ -0,0 +1,13 @@
++ [Sam Lindley](https://homepages.inf.ed.ac.uk/slindley/)
++ [Gofer](https://en.wikipedia.org/wiki/Gofer_(programming_language))
++ [Oege de Moor](https://www.linkedin.com/in/oegedemoor/)
++ [Standard ML](https://www.linkedin.com/in/oegedemoor/)
++ [Paper: Unembedding domain-specific languages](https://homepages.inf.ed.ac.uk/slindley/papers/unembedding.pdf)
++ [Paper: Practical normalization by evaluation for EDSLs](https://homepages.inf.ed.ac.uk/slindley/papers/nbe-for-edsls.pdf)
++ [Links programming language](https://links-lang.org/)
++ [Matija Pretnar](https://matija.pretnar.info/)
++ [Matija Pretnar PhD thesis](https://era.ed.ac.uk/bitstream/handle/1842/4611/Pretnar2010.pdf?sequence=2&isAllowed=y)
++ [Koka language](https://koka-lang.github.io)
++ [Effekt language](https://effekt-lang.org/)
++ [Frank language](https://github.com/frank-lang)
++ [Paper: Oxidizing Ocaml with Modal Memory Management](https://dl.acm.org/doi/10.1145/3674642)