I want something which brings functional programming, immutable data structures, and code-as-data macros (Clojure) to the statically-typed world of deterministic object lifetimes (C++).
I've been working on such a language for a year or so now https://github.com/jeaye/jank and it compiles to C++14. Trading data locality (due to immutable data structures) for more approachable parallelism might be a big win in the systems-level world. Removing OOP aspects entirely, and focusing on parametric polymorphism and functional programming will offer a different way of approaching systems-level tasks.
For situations where mutability, assembly, or the use of a C or C++ library is required, jank aims to offer seamless integration; calling into C++, using C++ types, etc, can be done without worrying about name mangling or marshalling.
It's still very new, and not yet usable, but the compiler is complete enough for me to have used it for real-time rendering in OpenGL, integrating the C calls directly into jank's type system.
