Haskell Interlude #73 (#561)

Jean-Philippe Bernardy

Author: mikesperber

podcast/73/index.markdown

@@ -0,0 +1,9 @@
+---
+title: Jean-Philipe Bernardy
+episode: 73
+buzzsproutId: 18185602
+recorded: 2025-05-16
+published: 2025-11-14
+---
+
+In this Interlude, we’re joined by Jean-Philipe Bernardy, a Senior Lecturer at University of Gothenburg and Chalmers University of Technology. We discuss letting types be your guide, getting into AI to feed yourself, and never testing your programs.

podcast/73/links.markdown

@@ -0,0 +1,11 @@
+- [Raincode](https://www.raincode.com/)
+- [Gentle Intro to Haskell (tutorial)](https://www.haskell.org/tutorial/intro.html)
+- [Chalmers University of Technology](https://www.chalmers.se/en/)
+- [John Hughes](https://research.chalmers.se/en/person/rjmh)
+- [Testing Polymorphic Properties](https://publications.lib.chalmers.se/records/fulltext/local_99387.pdf)
+- [Phil Wadler](https://homepages.inf.ed.ac.uk/wadler/)
+- [Theorems for Free!](https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf)
+- [Linear Haskell](https://arxiv.org/pdf/1710.09756)
+- [YI (vi-like editor written in Haskell)](https://yi-editor.github.io/)
+- [Dante (Emacs mode for Interactive Haskell)](https://github.com/jyp/dante)
+- [HLS (Haskell Language Server)](https://github.com/haskell/haskell-language-server)