> Java does, it's called generics. No, Java is still pointers to Object and dynamic dispatch under the hood. Generics didn't change this at all. > Still can't

> Java does, it's called generics. No, Java is still pointers to Object and dynamic dispatch under the hood. Generics didn't change this at all. > Still can't see why C++ is closer to ML than C, since it's literally an almost compatible superset of C. ATS is also 'literally an almost compatible superset of C'.