As I said towards the end of the piece the intention is to come up with an abductive process an, "inference to the best representation", a formalized method for

As I said towards the end of the piece the intention is to come up with an abductive process an, "inference to the best representation", a formalized method for deciding between languages. I am aware that there are various taxonomies, and perhaps I shouldnt have made the aristotleian comment because it was rather misleading. My intention was to take an honest (you may say phenomenological) look at programming languages: to have a system by which the idioms of the language, its communal metalogics, etc. are all part of how we assess a language. Not the reductionism of the "procedural-functional", pre-existing landscape. I guess my point in referencing this landscape was to point out how inadequate it is, and how there might be a more complex and useful way of reasoning between languages. My next article on the subject, which I'd imagine will follow soon, will certainly be slightly refocused and clearer. This is very much a just-finished-typing first draft that I put out to see what the response would be, and what the appetite for this kind of analysis in the programming community is.