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
Oops QED
/- shapeless
- Applied Category Theory and Abstract Algebra - Gabriel Gonzales
- Eta
- matryoshka
- Scala vs Idris: Dependent Types, Now and in the Future
- persistent
- esqueleto
- opaleye
- PostgREST
- Arel
- CQRS
- Sqitch
- Neo4j
- doobie
- Integrating PureScript and Halogen Into JavaScript Applications
- How to Build a Blog in 10 Minutes with Hyper
Mobbin' It
/- Pine State Biscuits
- Finger Tree
- Limits and Colimits - Bartosz Milewiski
- Category Theory II
- Elm Is Wrong
- Elm user group SF
- Expression Problem
- Who's Afraid of Object Algebras
- Typed final (tagless-final) style
- Extensibility for the Masses Practical Extensibility with Object Algebras
- Free Category
- Adjunction
- Free Functor
- Forgetful Functor
- Galois Connection
Limited Resource
/- Stylish
- Twitter - Dark n Simple
- 90210
- NoRedInk
- Stubbornella
- Function space
- Field
- Ring
- Applicative programming
- catamorphism
- epimorphism
- Cinderella ballet
- Frankenstein ballet
- Final Fantasy XV
- Subnautica
- 12 Monkeys
- Short-wave radio
- Bay Area Haskell Users Group
- Using Nix to improve Haskell and C++ development
- Languages for 3D Industrial Knitting - Lea Albaugh
- Adjunction
- Category
- Hom Set
The Ocean of Regret
/- Are Denotational Semantics Adjoint to Hacking Something Together?
- Group
- Free Group
- Free Monoid
- Free Object
- Idempotence
- Lattice
- Join and Meet
- Monotonic function
- Semilattice
- Profunctor
- Strong Profunctor
- Arrow
- purescript-profunctor-lenses
- Monoids on Steroids - Bartosz Milewski
- miniKanren
- discrimination - Fast generic linear-time sorting, joins and container construction.
- Monoids: Theme and Variations (Functional Pearl) - Brent A. Yorgey
- Bronchiolitis obliterans
- elmzed
- purescript-halogen
- Pux
It's a Universal Universal Construction
/- Programming talks
- Category Theory for the Sciences
- colimits
- Pullback
- limits
- Universal property
- ncatLab
- Vincent Orr's egghead videos
- CSS maintenables avec Sass & Compass
- Functional Light JS
- No Silver Bullets in Functional Programming
- Definite Clause Grammar
- Integrating PureScript and Halogen into JavaScript Applications