diff --git a/podcast/64/index.markdown b/podcast/64/index.markdown new file mode 100644 index 00000000..acb6bd39 --- /dev/null +++ b/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. diff --git a/podcast/64/links.markdown b/podcast/64/links.markdown new file mode 100644 index 00000000..a6039288 --- /dev/null +++ b/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)