I'm looking for the best formal language, where "best" implies elegance, simplicity and consistency.
It doesn't have to be a programming language, although I'm expecting most candidates to be. Mathematics, RDF/OWL and lojban are examples of non-programming languages that could be acceptable candidates.
One way to gauge how good a language is could be to compare how it solves some of the usual programming challenges such as Project Euler and TodoMVC against other languages.
For example, it seems like a logic programming language like Prolog would excel at Project Euler, while a FRP language/framework like Elm would excel at TodoMVC.
Please note that I do not care at all about pragmatism. The language could exist without a compiler, be abandoned, have no community or third-party packages/modules, take 1 year to execute Project Euler's Problem 1, etc.
I'm more interested in the discussion and process than in finding what the actual "best" language is.
It doesn't have to be a programming language, although I'm expecting most candidates to be. Mathematics, RDF/OWL and lojban are examples of non-programming languages that could be acceptable candidates.
One way to gauge how good a language is could be to compare how it solves some of the usual programming challenges such as Project Euler and TodoMVC against other languages.
For example, it seems like a logic programming language like Prolog would excel at Project Euler, while a FRP language/framework like Elm would excel at TodoMVC.
Please note that I do not care at all about pragmatism. The language could exist without a compiler, be abandoned, have no community or third-party packages/modules, take 1 year to execute Project Euler's Problem 1, etc.
I'm more interested in the discussion and process than in finding what the actual "best" language is.