Also the original Rust compiler was written in OCaml and the language draws inspiration from the same. Also (perhaps this is encompassed by your statement alre

Also the original Rust compiler was written in OCaml and the language draws inspiration from the same. Also (perhaps this is encompassed by your statement already) there is ReasonML[0]. Switching over from the JS Quickstart to the OCaml Quickstart, one finds the very first line: > Since Reason is just another syntax for OCaml, [...] Side note: just finished a small project in ReasonML and it was a lovely experience. As someone who has been using Flow for gradually typed JS for a while now, I would totally recommend at least playing with it. [0]: https://reasonml.github.io/docs/en/convert-from-ocaml https://reasonml.github.io/docs/en/convert-from-ocaml