Programming Languages

If what you want is an object-orientated, 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: