Looking for a compiled language with strict requirements
Since most experienced programmers agree that their language has serious defects in sometimes the most basic topics.

The strong points I'm looking for are:

 - Performance (do not discuss my metafors, these are examples only): I'm talking C/C++/Fortran speeds, not Go/Java/Python.
 - Genericity: templates! Multi-paradigm! It doesn't have to be completely paradigm-agnostic from the get-go (e.g. non-freestanding C++ has a procedural entry point)
 - Compatibility with C: not for the C stuff, but in order to write a sane "standard library" calling into system libraries without jumping through hoops (like a JVM).
 - The language must be completely detached from an accompanying library. e.g. (and the reason I came to this question) C++ features like initializer lists are tied to a library implementation, and the language feature of brace-initializers cannot be used without the accompanying `<initializer_list>`.
 - language features:

   - initializer-list-initialization, much like C++ has
   - templates or some other kind generic programming technique at least as powerful but not as ugly as C++ templates
   - thread-awareness (constructs for TLS for example)
   - classes with inheritance.
   - properly defined integral (`intN`) and floating point types (IEE754)
   - overloading
 - Unicode support: this is largely library dependent, but custom types for unicode characters are necessary for good functioning of output (try outputting a `char` in C++, it will be recognized as an number by `<iostream>` types).
 - As little undefined behavior as possible. It should limit you from shooting yourself in the foot, but allow you to do so if you need that extra juice.

I'm almost convinced such a beast does not exist, although I'm very open to suggestions.
Looking for a compiled language with strict requirements
===

Since most experienced programmers agree that their language has serious defects in sometimes the most basic topics.

The strong points I'm looking for are:

 - Performance (do not discuss my metafors, these are examples only): I'm talking C/C++/Fortran speeds, not Go/Java/Python.
 - Genericity: templates! Multi-paradigm! It doesn't have to be completely paradigm-agnostic from the get-go (e.g. non-freestanding C++ has a procedural entry point)
 - Compatibility with C: not for the C stuff, but in order to write a sane "standard library" calling into system libraries without jumping through hoops (like a JVM).
 - The language must be completely detached from an accompanying library. e.g. (and the reason I came to this question) C++ features like initializer lists are tied to a library implementation, and the language feature of brace-initializers cannot be used without the accompanying `<initializer_list>`.
 - language features:

   - initializer-list-initialization, much like C++ has
   - templates or some other kind generic programming technique at least as powerful but not as ugly as C++ templates
   - thread-awareness (constructs for TLS for example)
   - classes with inheritance.
   - properly defined integral (`intN`) and floating point types (IEE754)
   - overloading
 - Unicode support: this is largely library dependent, but custom types for unicode characters are necessary for good functioning of output (try outputting a `char` in C++, it will be recognized as an number by `<iostream>` types).
 - As little undefined behavior as possible. It should limit you from shooting yourself in the foot, but allow you to do so if you need that extra juice.

I'm almost convinced such a beast does not exist, although I'm very open to suggestions.