tag:blogger.com,1999:blog-6454006.post7950208102598188598..comments2024-01-16T14:32:49.175+00:00Comments on Arcane Sentiment: Why Lambda the Ultimate doesn't make me feel stupidArcane Sentimenthttp://www.blogger.com/profile/04144052171693893368noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-6454006.post-16259645487575322382024-01-16T14:32:49.175+00:002024-01-16T14:32:49.175+00:00Thanks ffor sharingThanks ffor sharingHalloween A Holichttps://creeparific.tumblr.com/noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-72591188387890822522014-04-22T15:44:50.284+00:002014-04-22T15:44:50.284+00:00The “fundamental concept” I'm talking about is...The “fundamental concept” I'm talking about is datatypes. There is a strain of the static-type movement that insists “type” can only ever mean “classifying expressions” (which is what it means in type theory), and cannot mean “datatype” (which is what it means in programming languages). Rather than use a different word (like “datatype”?), they simply refuse to talk about types, especially if they're tracked dynamically.<br /><br />The “greatest successes” are the most expressive languages, which tend to be dynamically typed.Arcane Sentimenthttps://www.blogger.com/profile/04144052171693893368noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-38848236937230456052014-04-20T21:03:37.579+00:002014-04-20T21:03:37.579+00:00As a newcomer I can't decode which fundemental...As a newcomer I can't decode which fundemental concepts and greatest successes you're talking about. Could you point me to where I can read about this specific success?Anonymousnoreply@blogger.com