It's the Magic Part of the Read Along

• purerl
• Patreon
• Pony
• Reference Capability Guarantees
• Substructural type system
• Linear type system
• LFE
• Hitchhiker's Tour of the BEAM
• purescript-refs
• purescript-st
• ETS
• purescript-avar
• Clowns to the Left of me, Jokers to the Right
• Coproduct

What Are You Doing, Dog?

• Magic Read Along is creating a Podcast
• Switch from Eff to IO
• purescript-st
• purescript-exceptions
• purescript-run
• purescript-run-console-experiment
• recursion schemes
• Hutton's razor
• Flow
• TypeScript
• create-react-app
• Medium
• Disqus
• Slate
• Automatic differentiation
• A variant on UIs I'd like to try - Phil Freeman
• Zipper
• Zippers Using Representable And Cofree
• Making Impossible States Impossible - Richard Feldman

Lasagna in the Microwave

• Our Patreon
• Rosetta Code
• Project Euler
• exercism.io
• Neo4j
• Cypher
• Writing Marble Tests
• needle
• Poochie
• Visual Studio Code
• Pony

Sweet Baby Rao's

• Sweet Baby Ray's
• Talkboy
• Yak Bak
• React
• Heyting Algebra
• Moore Machine
• Moore for Less
• clojure.spec
• Comonad
• Functor
• Trie
• Mealy Machine
• Adjunction
• morphism-zoo
• Unifying Structured Recursion Schemes - Ralf Hinze, Nicolas Wu, and Jeremy Gibbons
• Prettyprint
• A prettier printer - Philip Wadler
• Prettier
• elm-format
• Pony

Type Class Tom-Foolery

• Group Theory
• Cayley's Theorem
• Yoneda lemma
• Natural Transformation
• Patreon
• Corepresentable
• Any Applicative Is Num
• Accept values with varying number of arguments
• Heyting Algebra
• PureScript instance
• React Native
• Recursion Schemes
• purescript-matryoshka
• Type-Directed Search
• Hole-driven Haskell

The Hello World of State Machines

We launched a Patreon! If you like what we're doing, consider supporting the show. https://www.patreon.com/magicreadalong

• Patreon
• A composable pattern for pure state machines with effects
• Moore machine
• The Elm Architecture
• Reducers
• purescript-halogen
• Comonads as Spaces
• Finite-state machine

I Always Have the Last Word Via Blog Post

• Steak-umm
• Game of Thrones
• Frasier
• GLOW
• Representable
• Adjunction
• Irakli's tweet
• Profunctor
• Predicate
• Contravariant Functor
• Denotational semantics
• Kan extension
• Missing Richard Simmons
• Denzel Washington Is The Greatest Actor Of All Time Period

Curry-Howard the Duck

• Teaching New Tricks to Old Programs - Conal Elliott
• Category
• Cartesian Monoidal Category
• Cocartesian Monoidal Category
• Representable Functor
• Comonad
• Building up Zippers from Distributive, Representable, and Cofree
• Cofree
• Free From Tree
• Rose Tree
• Mutation Testing
• QuickCheck
• Heyting Algebra
• Boolean Algebra
• Law of excluded middle

Maybe You Don't Need to Go All Kleisli

• TDD
• BDD
• A11y
• Screen reader
• What's Next for Our Programming Languages?
• Dafny
• Do loop
• Sandi Metz
• SOLID
• Code smell
• Field
• Markdown
• GitHub Flavored Markdown
• Group
• Module
• Chris Penner
• Murphy Randle
• Elm Town
• Elm Town Spotlight - Hardy Jones

Vector Space Jam

• The Art of Naming
• Domain-Driven Design: Tackling Complexity in the Heart of Software
• Concrete Mathematics: A Foundation for Computer Science
• Jordan Algebra
• Gauss-Jordan method
• Wilheim Jordan
• Pascual Jordan