As funny as it would be, ML isn't really a great fit for ML, I don't think.

That's true for current ML offerings.

However, I think an ML designed for machine learning would be nice, especially if the type system is extended to multidimensional arrays shapes. Pattern matching on array shapes would be rather nice. Ocaml style interactive mode for exploration and compiling for performance would be nice too.