Smellmop
/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