MLton

F# is a functional programming language developed at Microsoft Research. F# was partly inspired by the OCaml language and shares some common core constructs with it. F# is integrated with Visual Studio 2010 as a first-class language.