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
Nobody's Ever Seen the Number Two
/- ForwardJS
- Object-oriented programming
- Structured programming
- Factory
- Null Object
- Category Theory
- Free Functor
- Forgetful Functor
- Catamorphism
- Anamorphism
- Representable
- Comonad
- Monad
- Procedural Programming
- Homotopy Type Theory
- Dijkstra on Abstraction
- Semaphore
- Adho mukha śvānāsana
- Sciatica
- Design Patterns in Haskell
- Strategy
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
The Howling Fantods
/- Zodiac Killer
- Ted Cruz-Zodiac meme
- Triumph, the Insult Comic Dog
- Zipper
- Distributive
- Representable
- Traversable
- Adjunction
- purescript-substructural
- Substructural type system
- Free Modules and Functional Linear Functionals
- Module
- Moby Dick
- HOUND Voice Search & Assistant
- Pazuzu - Captain Howdy
- Moore Machine
- Mealy Machine
- The Expression Problem
- DDD
- Monoids: Theme and Variations