F# is as close you get to OCaml world without writing a "ml".
Typescript is unrelated to OCaml in any way.
Typescript is unrelated to OCaml in any way.
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.