[ernst_klim]

ML could be as fast as C++ and even have manual memory management. Take a look at mlton [1] and manual memory management [2]. Most ml compilers just value compile time more.

[1] http://mlton.org/Performance

[2] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.75....