recentpopularlog in

ianweatherhogg : product   14

Algebraic Data Types | Esper Tech Blog
Algebraic data types are the fundamental building blocks of programs in ML-style languages like Haskell and OCaml. Since they play such an important role in these languages, it is well worth understanding how they work and where they come from---at first, the design may feel a bit arbitrary, but in reality it flows naturally from…
ocaml  algebraic  data  type  sum  product  5*  math 
july 2014 by ianweatherhogg
Monoid morphisms, products, and coproducts - Higher Order
Today I want to talk about relationships between monoids. These can be useful to think about when we’re developing libraries involving monoids …
scala  scalaz  monoid  apocalisp  5*  product  category  theory  free 
march 2014 by ianweatherhogg

Copy this bookmark:

to read