Skip to content

Commit 076bbd5

Browse files
author
github-actions
committed
[2025-09-14 20:28:36 UTC] New release [ci skip]
1 parent 8ddaf09 commit 076bbd5

File tree

3 files changed

+434
-3
lines changed

3 files changed

+434
-3
lines changed

index.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -257,12 +257,12 @@ <h2 class="text-center text-2xl-4xl font-normal">Announcing Ecosystem Partnershi
257257
<div class="bg-white border border-gray-300 rounded py-8 px-6 sm:px-12 text-center">
258258
<div class="bg-gray-100 px-6 sm:px-12 lg:px-16 py-6 lg:py-24 h-full">
259259
<h2 class="text-center text-2xl-4xl font-normal">
260-
<b>69</b>Jurriaan Hage
260+
<b>70</b>Phil Wadler
261261
</h2>
262262
<div class="mt-8 space-y-8 max-w-2xl mx-auto">
263-
<p>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.</p>
263+
<p>We sat down with Phil Wadler, one of the most influential folks in the Haskell community, functional programming, and programming languages, responsible for type classes, monads, and much more. We take a stroll down memory lane, starting from Haskell’s inception. We talked about the difference between research and Phil’s work on impactful industrial projects and standards - specifically XML and the design of generics in Java, as well as Phll’s teaching at the University of Edinburgh using Agda.. Phil is a fountain of great ideas and stories, and this conversation could have gone on for hours. As it is, we hope you enjoy the hour that we had as much as we did.</p>
264264
<div class="mt-4">
265-
<a class="arrow-link" href="./podcast/69">&gt;&gt; Listen to Jurriaan Hage</a>
265+
<a class="arrow-link" href="./podcast/70">&gt;&gt; Listen to Phil Wadler</a>
266266
</div>
267267
</div>
268268
</div>

0 commit comments

Comments
 (0)