<ul><li><a target="_blank" href="https://thrift.apache.org/">Thrift</a></li><li><a target="_blank" href="http://sacjs.com/">SacJS</a></li><li><a target="_blank" href="http://daltonmitchell.com/">Dalton A Mitchell</a></li><li><a target="_blank" href="https://github.com/getify">Kyle Simpson</a></li><li><a target="_blank" href="https://oleksandrmanzyuk.wordpress.com/2014/08/09/transducers-are-monoid-homomorphisms/">Transducers are Monoid Homomorphisms</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Adjoint_functors">Adjunction</a></li><li><a target="_blank" href="http://redux.js.org/">Redux</a></li><li><a target="_blank" href="https://hackage.haskell.org/package/base-4.9.1.0/docs/Data-Monoid.html#t:Endo">Endo</a></li><li><a target="_blank" href="http://hackage.haskell.org/package/base-4.9.1.0/docs/Control-Arrow.html#t:Kleisli">Kleisli</a></li><li><a target="_blank" href="https://hackage.haskell.org/package/category-extras-0.53.5/docs/Control-Arrow-CoKleisli.html">CoKleisli</a></li><li><a target="_blank" href="https://hackage.haskell.org/package/base-4.9.1.0/docs/Data-Foldable.html#v:foldMap">foldMap</a></li><li><a target="_blank" href="http://mail.haskell.org/pipermail/libraries/2012-February/017548.html">Fairbairn Threshold</a></li><li><a target="_blank" href="https://youtu.be/HQXVKHoUQxY">Connascence Examined</a> - Jim Weirich</li><li><a target="_blank" href="http://www.magicreadalong.com/episode/37">It's a Universal Universal Construction</a></li><li><a target="_blank" href="http://okmij.org/ftp/tagless-final/">Tagless-Final Style</a></li><li><a target="_blank" href="http://stackoverflow.com/questions/17870864/where-is-huttons-razor-first-defined">Hutton's Razor</a></li><li><a target="_blank" href="https://youtu.be/A-lmrvsUi2Y">Beyond Free Monads</a> - John DeGoes</li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Abstract_syntax_tree">Abstract syntax tree</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Algebraic_data_type">Algebraic data type</a></li><li><a target="_blank" href="https://www.manning.com/books/type-driven-development-with-idris">Type Driven Development with Idris</a></li></ul>

ThriftSacJSDalton A MitchellKyle SimpsonTransducers are Monoid HomomorphismsAdjunctionReduxEndoKleisliCoKleislifoldMapFairbairn ThresholdConnascence Examined - Jim WeirichIt's a Universal Universal ConstructionTagless-Final StyleHutton's RazorBeyond Free Monads - John DeGoesAbstract syntax treeAlgebraic data typeType Driven Development with Idris

<ul><li><a href="https://thrift.apache.org/" rel="noopener noreferrer">Thrift</a></li><li><a href="http://sacjs.com/" rel="noopener noreferrer">SacJS</a></li><li><a href="http://daltonmitchell.com/" rel="noopener noreferrer">Dalton A Mitchell</a></li><li><a href="https://github.com/getify" rel="noopener noreferrer">Kyle Simpson</a></li><li><a href="https://oleksandrmanzyuk.wordpress.com/2014/08/09/transducers-are-monoid-homomorphisms/" rel="noopener noreferrer">Transducers are Monoid Homomorphisms</a></li><li><a href="https://en.wikipedia.org/wiki/Adjoint_functors" rel="noopener noreferrer">Adjunction</a></li><li><a href="http://redux.js.org/" rel="noopener noreferrer">Redux</a></li><li><a href="https://hackage.haskell.org/package/base-4.9.1.0/docs/Data-Monoid.html#t:Endo" rel="noopener noreferrer">Endo</a></li><li><a href="http://hackage.haskell.org/package/base-4.9.1.0/docs/Control-Arrow.html#t:Kleisli" rel="noopener noreferrer">Kleisli</a></li><li><a href="https://hackage.haskell.org/package/category-extras-0.53.5/docs/Control-Arrow-CoKleisli.html" rel="noopener noreferrer">CoKleisli</a></li><li><a href="https://hackage.haskell.org/package/base-4.9.1.0/docs/Data-Foldable.html#v:foldMap" rel="noopener noreferrer">foldMap</a></li><li><a href="http://mail.haskell.org/pipermail/libraries/2012-February/017548.html" rel="noopener noreferrer">Fairbairn Threshold</a></li><li><a href="https://youtu.be/HQXVKHoUQxY" rel="noopener noreferrer">Connascence Examined</a> - Jim Weirich</li><li><a href="http://www.magicreadalong.com/episode/37" rel="noopener noreferrer">It's a Universal Universal Construction</a></li><li><a href="http://okmij.org/ftp/tagless-final/" rel="noopener noreferrer">Tagless-Final Style</a></li><li><a href="http://stackoverflow.com/questions/17870864/where-is-huttons-razor-first-defined" rel="noopener noreferrer">Hutton's Razor</a></li><li><a href="https://youtu.be/A-lmrvsUi2Y" rel="noopener noreferrer">Beyond Free Monads</a> - John DeGoes</li><li><a href="https://en.wikipedia.org/wiki/Abstract_syntax_tree" rel="noopener noreferrer">Abstract syntax tree</a></li><li><a href="https://en.wikipedia.org/wiki/Algebraic_data_type" rel="noopener noreferrer">Algebraic data type</a></li><li><a href="https://www.manning.com/books/type-driven-development-with-idris" rel="noopener noreferrer">Type Driven Development with Idris</a></li></ul>

You Should Watch This

Follow along with Brian Lonsdorf and Hardy Jones as they explore the internet, life, and programming.

Share You Should Watch This

Sign up to save your podcasts

You Should Watch This

You Should Watch This