I notice that I don't have a good way to tell what is F# the language versus what is incidental to the F# implementation (version).

This becomes confusing for me where I learn that F# is OCaml-like, but is not OCaml (and I am not much better off about OCaml the language versus OCaml the implementation there too). Since OCaml disavows ML, or at least SML, I become even less sure of myself when I choose between naming a file *.ml or *.fs.

Perhaps my confusion is from a time when it was concluded that compilers did not determine languages, at least in the early efforts to create programming-language standards.

Is there some way to be clear on what is F# the Language versus an F# implementation (or hosting) plus that which is incidental thereto?

I won't be discouraged to learn that F# is more like Visual C# the implemented programming system, and not like C# the (standardized) language. That accounts for FSI better, I think (and perhaps Python too), as well as the Visual Studio integration.

Or maybe this is not a question of concern for these kinds of systems?

I ask because I feel out of touch and am not sure how this is dealt with in the ML, Caml, and F# scheme of things. (The definition of the Algorithmic Language Scheme versus the names for implementations and programming systems is more like the separation I am accustomed to.)