Since you come from a .NET background, you can take a look at F#: it is based on OCaml, but fully integrated with the entire Microsoft stack. Most of the compil

Since you come from a .NET background, you can take a look at F#: it is based on OCaml, but fully integrated with the entire Microsoft stack. Most of the compile-time checking benefits of OCaml apply to F# as well.