Haskell Interlude #74: Lennart Augustsson (#563)

Author: mikesperber

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/).

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)