News for hackers. Stuff that matters.
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.
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!