tag:blogger.com,1999:blog-5722310642266356003.post4743666196820348296..comments2024-01-07T23:21:32.676+01:00Comments on The Axis of Eval: Algebraic Data TypesUnknownnoreply@blogger.comBlogger4125tag:blogger.com,1999:blog-5722310642266356003.post-46715882365096890482012-02-03T14:40:17.098+01:002012-02-03T14:40:17.098+01:00Thanks for the corrected link.Thanks for the corrected link.John Shutthttp://fexpr.blogspot.com/noreply@blogger.comtag:blogger.com,1999:blog-5722310642266356003.post-83235329802887068032012-02-03T14:18:57.248+01:002012-02-03T14:18:57.248+01:00Correct link for John's comment: Where do type...Correct link for John's comment: <a href="http://fexpr.blogspot.com/2011/11/where-do-types-come-from.html" rel="nofollow">Where do types come from?</a>Manuel Simonihttps://www.blogger.com/profile/07840673741485280526noreply@blogger.comtag:blogger.com,1999:blog-5722310642266356003.post-53931571957976614802012-02-03T05:42:06.594+01:002012-02-03T05:42:06.594+01:00That's the best explanation I've seen on t...That's the best explanation I've seen on the subject.dmbarbourhttps://www.blogger.com/profile/12370605342201490009noreply@blogger.comtag:blogger.com,1999:blog-5722310642266356003.post-8562443945416639592012-02-03T03:23:18.905+01:002012-02-03T03:23:18.905+01:00I still want the algebraic without the data types....I <a href="http://fexpr.blogspot.com/2011/11/wh" rel="nofollow">still</a> 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 <i>symbol</i>.John Shutthttp://fexpr.blogspot.com/noreply@blogger.com