diff --git a/podcast/79/index.markdown b/podcast/79/index.markdown new file mode 100644 index 00000000..c6507401 --- /dev/null +++ b/podcast/79/index.markdown @@ -0,0 +1,16 @@ +--- +title: Peter Thiemann +episode: 79 +buzzsproutId: 18853260 +recorded: 2025-12-15 +published: 2026-03-23 +--- + +In this Interlude, we're joined by Peter Thiemann. Peter is a +professor at the University of Freiburg, and he was doing functional +programming right when Haskell got started. So naturally we asked him +about the early days of Haskell, and how from the start Peter pushed +the envelope on what you could do with the type system and +specifically with the type classes, from early web programming to +program generation to session types. Come with us on a trip down +memory lane! diff --git a/podcast/79/links.markdown b/podcast/79/links.markdown new file mode 100644 index 00000000..431c72b4 --- /dev/null +++ b/podcast/79/links.markdown @@ -0,0 +1,13 @@ +- [Hope programming language](https://en.wikipedia.org/wiki/Hope_(programming_language)) +- [Gofer](https://web.cecs.pdx.edu/~mpj/goferarc/index.html) +- [Yale Haskell](https://github.com/haskell-lisp/yale-haskell) +- [Launchbury, Peyton Jones: Lazy Functional State Threads](https://dl.acm.org/doi/10.1145/178243.178246) +- [Peyton Jones, Wadler: Imperative Functional Programming](https://dl.acm.org/doi/10.1145/158511.158524) +- [Hughes: Generalising Monads to Arrows](https://www.haskell.org/arrows/biblio.html#Hug00) +- [Thiemann: WASH/CGI: Server-Side Web Scripting](http://www2.informatik.uni-freiburg.de/~thiemann/papers/padl02.pdf) +- [Thiemann: A Typed Representation for HTML and XML Documents in Haskell](http://www2.informatik.uni-freiburg.de/~thiemann/papers/modeling.pdf) +- [Neubauer, Thiemann: An Implementation of Session Types](http://www2.informatik.uni-freiburg.de/~neubauer/papers/padl04.pdf) +- [Thiemann: Program Generation with Class](http://www2.informatik.uni-freiburg.de/~thiemann/papers/generation.ps.gz) +- [Augustsson et al.: The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming](https://dl.acm.org/doi/abs/10.1145/3607845) +- [TreatJS: Higher-Order Contracts for JavaScript](https://proglang.informatik.uni-freiburg.de/treatjs/) +- [Linear Types in Haskell](https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/linear_types.html)