Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions podcast/64/index.markdown
Original file line number Diff line number Diff line change
@@ -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.
11 changes: 11 additions & 0 deletions podcast/64/links.markdown
Original file line number Diff line number Diff line change
@@ -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)