At first sight, this looks like a major improvement over C++ and even more powerful than D with less ad-hoc features. Interesting language features, as far as

At first sight, this looks like a major improvement over C++ and even more powerful than D with less ad-hoc features. Interesting language features, as far as I can tell: * Type inference * First-class functions/closures (interesting compared to C++) * Overloading is based on compile-time evaluation, with the possibility to have arbitrary values as type parameters, and is similar to predicate dispatch (you can dispatch using arbitrary conditions), with also the possibility to do runtime dispatch. * Most of the functionality of the language is implemented in libraries, with a small kernel of built-ins. Library functionality: * the standard standard library: arrays, vectors, maps, algorithms, sequence abstractions etc. * tuples, unions, variants * lazy sequences (streams) * reference-counting shared pointers (boost::shared_ptr) * SIMD intrinsics and vectors using SIMD operations * bindings to the C standard library of Unix and Win32 API * Green threads, channels Other: * C binding generator based on CLang