Reason (https://reasonml.github.io/) is the JS like syntax for OCaml. ReScript is a fork that explicitly removes the connection to OCaml and focuses on JavaScript output.

yes, correct, but ReasonML is abandoned, while there is still some traction in Rescript and it offers the same type safety.