The static types protect you from undesired runtime behaviors with respect to OCaml&#x27;s runtime semantics, but what about Javascript&#x27;s one?<p>This is better than nothing, sure, because your code is first checked in OCaml but once the code is running, it does it according to Javascript rules.<p>I imagine there could be subtle bugs introduced during this process (e.g. your OCaml code manipulate integers, but Javascript has numbers, a.k.a. double floats, as far as I know).