For me, ML is not characterized by immutability and lack of inheritance, but rather by: first-class functions (C++, Java, Scala), type inference (partially in C++, C#, Scala), and algebraic datatypes and pattern matching (only Scala so far). The rest is just noise/sugar. So, by that measure, most languages are on their way to becoming ML.