[Verdex]

I'm convinced that in 50 years all "general purpose" programming languages will be some sort of ML derivatives. Just looking at the feature sets they keep adding on to existing languages (like for example C# where the language is slowly but surely becoming F#) and that seems to be the direction everything is heading.

At some point everyone realizes that if you want to do things "generally" then you want an ML. And after that we slowly get the surface area of general languages hardening until we don't really see that many new features popping up all the time. Afterwards all the innovation shifts to niche programming languages and DSLs.

I would give your idea a try. I think it's good.