Episode 45

Author: nomeata

podcast/45/index.markdown

@@ -0,0 +1,8 @@
+---
+title: András Kovács
+episode: 45
+buzzsproutId: 14709385
+recorded: 2024-01-31
+published: 2024-03-1j
+---
+In this episode, András Kovács is being interviewed by Andres Löh and Matthias Pall Gissurarson. We learn how to go from economics to functional programming, how GHC's runtime system is superior to Rust's, the importance of looking at GHC's Core for spotting stray closures, and why staging might be the answer to all your optimisation problems.

podcast/45/links.markdown

@@ -0,0 +1,6 @@
+* [Learn you a Haskell for Great Good](https://learnyouahaskell.com/)
+* [Agda](https://wiki.portal.chalmers.se/agda/pmwiki.php)
+* [mtl](https://hackage.haskell.org/package/mtl)
+* [(Typed) Template Haskell](https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/template_haskell.html)
+* [2LTT](https://andraskovacs.github.io/pdfs/2ltt.pdf)
+