F# from OCaml isn't much of a leap, though. F# is basically OCaml modified to fit .NET datatypes.