Combining the safety and productivity of ML and Caml with the libraries, tools and cross-language working of .NET

F# is a mixed functional/imperative programming language based on the design of the functional language Caml and the .NET language C#.


Mixed functional/imperative programming is a fantastic paradigm for many programming tasks. Languages such as OCaml and Standard ML provide excellent general purpose programming languages suited to medium-advanced programmers who want simple yet highly expressive tools that boost their productivity, primarily by reducing the error rate, increasing their productivity through type inference, and basically letting them focus on the difficult parts of their applications.

...



more here