3 ms·

I wrote a post emphasizing the duality of products and sums. It's a really deep subject! http://tel.github.io/2014/07/23/types_of_data/ http://tel.github.io/20

by tel 12y ago

I wrote a post emphasizing the duality of products and sums. It's a really deep subject! http://tel.github.io/2014/07/23/types_of_data/ http://tel.github.io/2014/07/23/types_of_data/

bjeanes 12y ago
I loved reading this the other day. Thanks again for writing it. I'll be coming to this post often, I think.
- tel 12y ago
  I'm glad you enjoyed it! I'm working on one or two most posts in this vein in order to introduce quantified types and recursive types. So: more to come!