I don't think ML does need a new programming language. You give up an extreme amount of progress in tools and libraries when you move to a new language.
I haven't seen new languages that market themselves for specific features that couldn't be done just as easily through straight classes with operator overloading.