The LanguageOfTheFuture is already there. There is a language that fulfil all requirements. It borrows from Lisp, is neither C/C++, Java, nor any DotNet, suppo

The LanguageOfTheFuture is already there. There is a language that fulfil all requirements. It borrows from Lisp, is neither C/C++, Java, nor any DotNet, supports dynamic typing with type inference, suitable for small and large applications, easy to do Meta programming, and write DSLs, is capable of both ahead-of-time compilation and interpretation; including the compilation of code at runtime, is Open source, is both OO and functional, supports Prolog, supports design by contract (by DSL extension), has several unit testing frameworks, supports relational DB features, and likely also the rest of the list. Guess what that language is: It is called Lisp :-) A classical version is SBCL. Modern versions are NewLisp, clojure and Shen (shenlanguage.org).