the compiler can type check source code for any obvious insanities, and thereby catch and prevent, at compile time, a subset of what would be runtime errors.

that's the idea anyway. (i worked on v8 for example, and other compilers, and typescript does something similar targeting javascript)