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
Like a Parent at a Beauty Pagent
/- LamdaConf 2017
- Integrating PureScript and Halogen into JavaScript Applications
- How to Build a Blog in 10 Minutes with Hyper
- Lattice
- CSS Animation
- Keyframe
- Transition
- Mealy Machine
- Moore Machine
- Profunctor
- Arrowized FRP
- Semiring
- Ring
- Adjunctions in Everyday Life
- Corecursion, Codata and Just a Little Combinatorial Game Theory
- The Zipper
- The Algebra of Algebraic Data Types - Chris Taylor
- The Algebra of Algebraic Data Types, Part 1
- The Algebra of Algebraic Data Types, Part 2
- The Algebra of Algebraic Data Types, Part 3
- The Two Dualities of Computation: Negative and Fractional Types
- Euclidean Space
- Redux
- Data types à la carte
- Encapsulation Considered Harmful
- Open/closed principle
You Should Watch This
/- Thrift
- SacJS
- Dalton A Mitchell
- Kyle Simpson
- Transducers are Monoid Homomorphisms
- Adjunction
- Redux
- Endo
- Kleisli
- CoKleisli
- foldMap
- Fairbairn Threshold
- Connascence Examined - Jim Weirich
- It's a Universal Universal Construction
- Tagless-Final Style
- Hutton's Razor
- Beyond Free Monads - John DeGoes
- Abstract syntax tree
- Algebraic data type
- Type Driven Development with Idris
It's Like Faulkner
/- Sweet Baby Ray's
- Elm is Wrong
- Why type classes aren’t important in Elm yet
- Adjunction
- Free
- Cofree
- Reader
- Writer
- Env
- Monad
- Comonad
- Any homomorphism, f, between monoids is completely determined once you
know where a set of generators of the monoid map under the
homomorphism, and vice versa. - Dan Piponi - Category
- Forgetful functor
- Isomorphism
- Galois connection
- If you find that a design forces you into making ad hoc decisions, you are missing an adjunction somewhere. - Rúnar Bjarnason
- React Component
- Contravariant
- Closure
- Profunctor
- Opaleye
- Arrows
- postgresql-typed
- Yesod
- scotty
- Everything Old is New Again: Quoted Domain Specific Languages - Philip Wadler
- Views