(edit: basic, not basil)
(edit: basic, not basil)
You have to call the language something. For decades it was mostly just referred to as ML. In recent years people (including me) have started calling it Standard ML explicitly to avoid confusing people who now expect ML to mean machine learning. It doesn't always work, as we see.
Expanding to "meta-language" sadly is no good either, since nobody has ever called it that and most practitioners wouldn't even recognise it.
SML is a possibility that's used often enough, but there's a semantic difficulty there - the difficulty is that Standard ML is the standard version of a language called ML; it isn't quite a language called SML.
IIRC, both SML and Standard ML were used to distinguish it within the ML family of languages before machine learning became popular.
Aren't they 2 separate languages? They have 2 separate Wiki articles:
https://en.wikipedia.org/wiki/Standard_ML
https://en.wikipedia.org/wiki/ML_(programming_language)
Or maybe the difference is more like Lisp vs Common Lisp.
Google "standard ml" returns 1,090,000,000 results. At least the first page refers only to the language.
Google "ml machine learning" returns 183,000,000 results.
Google "ml programming" returns a page with some links referring to the language Standard ML and others to the language ML, none to machine learning.
I didn't even know there were people referring to machine learning as ML.