F#

F# is a relatively small research project designed to demonstrate that it is possible to easily implement ML-like languages for use on the .NET Framework. There are no current plans to commercialize F#, and the source code for the F# compiler is due to be published in June 2003. F# is public, on-going research, and Microsoft Research regularly and openly collaborates with universities on programming languages. There has been a long tradition of implementing ML-like languages within research laboratories as these have been widely accepted as foundational languages for programming language research, including the Caml project (encompassing both Caml-light and OCaml), New Jersey ML, Moscow ML, Dependent ML and many extensions to Standard ML. The implementations have often proved useful in practice, and are often used for teaching the foundations of programming. more info on Microsoft Research