[stplsd]

F# is as close you get to OCaml world without writing a "ml".

Typescript is unrelated to OCaml in any way.

[remify]

This, F# is the modern and more friendly (syntax, interoperability ...) version of OCaml.

I'd say the link between TypeScript and F# is the pragmatic approach that Microsoft took. Different paradigms but with the same care for usability. They are both great language for projects.