News for hackers. Stuff that matters.

A comment on Algebraic Data Types. Parent comment

Re:Algebraic Data Types by tel on Thursday July 31, 2014 @09:48AM (#8114013)
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/

[ Parent | on HN ]
Re:Algebraic Data Types by bjeanes on Thursday July 31, 2014 @01:15PM (#8115448)
I loved reading this the other day. Thanks again for writing it. I'll be coming to this post often, I think.
[ Parent | on HN ]
Re:Algebraic Data Types by tel on Thursday July 31, 2014 @02:14PM (#8115918)
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!
[ Parent | on HN ]