Full comment
It is hard to encapsulate what is unique about a language in a pithy one-liner. This one is the best I could come up with so far. And yes, I am also annoyed by hyperbolic claims and titles, for example I remember a paper claiming a "Language for Cloud Services" (not sure whether they specifically mentioned AWS). Turned out to be a minimalistic FP language with rudimentary concurrency support. Applicability to cloud services was an obvious extension left to the reader. Grmph. > Is it really true? Yes, I believe it is true. It has taken me many years to figure this out, and I realise that it is highly non-obvious to the point of being startling and yes, seemingly over-the-top. The "About" explains it a little bit further: > By allowing general architectures, Objective-S is the first general purpose programming language. > What we currently call general purpose languages are actually domain specific languages for the domain of algorithms. Maybe this should also go on the home page? Anyway, a super short and also still pithy and incomplete justification: All current mainstream programming languages are descendants of ALGOL. The ALGOrithmic Language. And that's not just a naming thing. I talk about this in much more detail here: "Can Programmers Escape the Gentle Tyranny of Call/Return?" ( link ) In short, we started using procedures to both compute results, which was what we used computers for in general when we started this CS thing, and then incidentally also to organise thos