From 609d34ef0cc042a1ae0aeccf5b1f7564b6653d31 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Fri, 19 Dec 2025 15:42:55 +0100 Subject: [PATCH] Haskell Interlude #74: Lennart Augustsson --- podcast/74/index.markdown | 21 +++++++++++++++++++++ podcast/74/links.markdown | 8 ++++++++ 2 files changed, 29 insertions(+) create mode 100644 podcast/74/index.markdown create mode 100644 podcast/74/links.markdown diff --git a/podcast/74/index.markdown b/podcast/74/index.markdown new file mode 100644 index 00000000..0227cb7e --- /dev/null +++ b/podcast/74/index.markdown @@ -0,0 +1,21 @@ +--- +title: Lennart Augustsson +episode: 74 +buzzsproutId: 18385473 +recorded: 2025-06-07 +published: 2025-12-19 +--- + +This episode is a deep dive into the evolution of Haskell and +functional programming with one of its pioneers, Lennart Augustson. It +reflects on decades of work in language design and compiler +implementation. Lennart speaks about his early involvement in the +creation of Haskell, shares thoughts on type systems, performance, and +the balance between purity and practicality. The conversation ranges +from personal history to big-picture views on the evolution of +programming languages, with plenty of insight into what makes Haskell +both powerful and challenging. A rare opportunity to hear from one of +the foundational voices in the functional programming world. + +This is a joint podcast episode with the [Type Theory Forall](https://www.typetheoryforall.com) +podcast that was recorded in front of a live audience at [ZuriHac 2025](https://zfoh.ch/zurihac2025/). diff --git a/podcast/74/links.markdown b/podcast/74/links.markdown new file mode 100644 index 00000000..4ee17d6a --- /dev/null +++ b/podcast/74/links.markdown @@ -0,0 +1,8 @@ +- [Lennart Augustsson’s Wikipedia Page](https://en.wikipedia.org/wiki/Lennart_Augustsson) +- [Type Theory Forall Podcast](https://www.typetheoryforall.com) +- [ZuriHac 2025](https://zfoh.ch/zurihac2025/) +- [Lazy ML](https://dl.acm.org/doi/pdf/10.1145/800055.802038) +- [Cayenne](https://dl.acm.org/doi/10.1145/289423.289451) +- [Bluespec](https://bluespec.dev) +- [Obfuscated C Code Contest](https://www.ioccc.org/) +- [MicroHS](https://github.com/augustss/MicroHs)