From 5edc5dab52bfb10aec2953eb64520a2936ec5360 Mon Sep 17 00:00:00 2001 From: Matthias Pall Gissurarson Date: Wed, 22 Jan 2025 21:50:22 +0100 Subject: [PATCH] Add episode 61 --- podcast/61/index.markdown | 8 ++++++++ podcast/61/links.markdown | 13 +++++++++++++ 2 files changed, 21 insertions(+) create mode 100644 podcast/61/index.markdown create mode 100644 podcast/61/links.markdown 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)