diff --git a/podcast/61/index.markdown b/podcast/61/index.markdown new file mode 100644 index 00000000..528b9c63 --- /dev/null +++ b/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. diff --git a/podcast/61/links.markdown b/podcast/61/links.markdown new file mode 100644 index 00000000..acc4d9ea --- /dev/null +++ b/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)