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)

4 comments:

John Shutt said...

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.

dmbarbour said...

That's the best explanation I've seen on the subject.

Manuel Simoni said...

Correct link for John's comment: Where do types come from?

John Shutt said...

Thanks for the corrected link.