Thursday, February 2, 2012
Algebraic Data Types
Reading this incredibly insightful article The Algebra of Data, and the Calculus of Mutation finally drove home the point to me why FP folks are so in love with their Algebraic Data Types: they connect wonderfully with very old (think B.C.) mathematical ideas - that every one of us has learned in school. The question is still whether that does make them good for programming. (HT Daniel)
Subscribe to:
Post Comments (Atom)
4 comments:
I still want the algebraic without the data types. And am still pondering how to do that; something to do with algebraic structures being overlain on things, while types underlie them, I think. I'm also thinking it might be related to some sort of conceptual flaw in the programming notion of symbol.
That's the best explanation I've seen on the subject.
Correct link for John's comment: Where do types come from?
Thanks for the corrected link.
Post a Comment