As compact. Most of type errors will shift to compile time, instead of blowing during runtime. Profit.

F# is basically OCAML with C# interop, AFAK