Although I would also favour ML over C++, if you look its derivatives, OCaml, Haskell and so on, they really aren't much smaller than C++.

C++ biggest problem are all the design decisions to fit into C's tooling and its compatibility.