This means that if a Reason/OCaml program compiles, then you are guaranteed (in the mathematical sense) that you will not see runtime type errors (i.e. undefined is not a function).
A Journey to Reason
Raphael Rafatpanah

That is not entirely true, you can get runtime type errors in OCaml as well.

One clap, two clap, three clap, forty?

By clapping more or less, you can signal to us which stories really stand out.