A .NET variant of ML with a core language similar to that of the OCaml programming language.