From 3744fd7225700570581b2fb8bbdebcf5c935890c Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Mon, 25 Aug 2025 09:23:22 +0200 Subject: [PATCH] Release Haskell Interlude #69 (Jurriaan Hage) --- podcast/69/index.markdown | 14 ++++++++++++++ podcast/69/links.markdown | 5 +++++ 2 files changed, 19 insertions(+) create mode 100644 podcast/69/index.markdown create mode 100644 podcast/69/links.markdown diff --git a/podcast/69/index.markdown b/podcast/69/index.markdown new file mode 100644 index 00000000..81bd076b --- /dev/null +++ b/podcast/69/index.markdown @@ -0,0 +1,14 @@ +--- +title: Jurriaan Hage +episode: 69 +buzzsproutId: 17727258 +recorded: 2025-03-11 +published: 2025-08-25 +--- + +Today’s guest is Jurriaan Hage. Jurriaan is a professor at Heriot-Watt +University in Edinburgh who’s worked with and on Haskell for many +years. He’s known for the Helium Haskell compiler, specifically +designed for teaching, and he has plenty of other projects related to +Haskell, including improvements to the type system, the generation of +better error messages, or detection of plagiarism. diff --git a/podcast/69/links.markdown b/podcast/69/links.markdown new file mode 100644 index 00000000..f6c1e56d --- /dev/null +++ b/podcast/69/links.markdown @@ -0,0 +1,5 @@ +- [Jurriaan's home page](https://www.macs.hw.ac.uk/~jh2054/index.html) +- [Helium for learning Haskell](https://github.com/Helium4Haskell/helium), [paper](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/helium.pdf) +- [OutsideIn(X)](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/outsideinx-modular-type-inference-with-local-assumptions/65110D74CF75563F91F9C68010604329) +- [Scripting the Type inference process](https://dl.acm.org/doi/10.1145/944746.944707) +- [Haskell Type Error index](https://errors.haskell.org/)