Algebraic and Analytic Programming by Luke Palmer.
In a short post Luke does a great job contrasting algebraic versus analytic approaches to programming.
In an even shorter summary, I would say the difference is “truth” versus “acceptable results.”
Oddly enough, that difference shows up in other areas as well.
The major ontology projects, including linked data, are pushing one and only one “truth.”
Versus other approaches, such as topic maps (at least in my view), that tend towards “acceptable results.”
I am not sure what other measure of success you would have other than “acceptable results?”
Or what another measure for a semantic technology would be other than “acceptable results?”
Whether the universal truth of the world folks admit it or not, they just have a different definition of “acceptable results.” Their “acceptable results” means their world view.
I appreciate the work they put into their offer but I have to decline. I already have a world view of my own.
You?
I first saw this in a tweet by Computer Science.