Or D if you want C++level of expressiveness. The garbage collector is replaceable. http://dlang.org/ http://dlang.org/ The difference between ML and C++ is a

Or D if you want C++level of expressiveness. The garbage collector is replaceable. http://dlang.org/ http://dlang.org/ The difference between ML and C++ is a tradeoff between efficiency and safety in my eyes. D comes from the C/C++ level of efficiency and improves safety. ML comes from a safe point and tries to be efficient.