# 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

# 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