The Felix language may fit your taste then http://felix-lang.org/ http://felix-lang.org/ Its related to C++ somewhat in the way say Scala is related to Java. I

The Felix language may fit your taste then http://felix-lang.org/ http://felix-lang.org/ Its related to C++ somewhat in the way say Scala is related to Java. Its been around for a while. Felix has an ML like type system (stronger in fact), has pattern matching, has coroutines / fibers, and was designed to have a FFI less interop with C++ libraries. Very fast too.