Programming Languages

If what you want is an object-oriented, compiled, nominative strongly statically typed language that supports detailed run-time type introspection, operator overloading, function overloading, generics, method pointers, closures, class references, virtual constructors, exceptions, direct memory manipulation, and has full mature Unicode support, a rich set of libraries, and a vibrant community, you are out of luck: