Release episode 64 (#497)

Author: Tritlo

podcast/64/index.markdown

@@ -0,0 +1,8 @@
+---
+title: Sandy Maguire
+episode: 64
+buzzsproutId: 17033246
+recorded: 2024-11-18
+published: 2025-04-24
+---
+In this episode Mike Sperber and Niki Vazou talk with Sandy Maguire, lead compiler engineer at Manifold Valley. They talk about the benefits of using Haskell of course, about all the books Sandy has written, on effects and the problem with monads, on combinator libraries and programming with laws.

podcast/64/links.markdown

@@ -0,0 +1,11 @@
++ [Freek: Free monads in Scala](https://github.com/mandubian/freek)
++ [Polysemy](https://hackage.haskell.org/package/polysemy)
++ [Thinking with Types](https://thinkingwithtypes.com/)
++ [Algebra-Driven Design](https://leanpub.com/algebra-driven-design)
++ [Certainty by Construction](https://leanpub.com/certainty-by-construction)
++ [Santy's webpage](https://reasonablypolymorphic.com/)
++ [Manifold Valley](https://www.manifoldvalley.com/)
++ [Nicolas Wu on Effects](https://dl.acm.org/doi/10.1145/3609026.3615581)
++ [Conal Elliott](http://conal.net/)
++ [QuickCheck](https://hackage.haskell.org/package/QuickCheck)
++ [QuickSpec](https://hackage.haskell.org/package/quickspec)