Type systems aren't magic. They do stop all incorrect programs from running, but also the majority of correct programs too.
Luckily most everyday programs are typeable.
... for some spectactularly inconsistent and arbitrary definition of "correct program".
Luckily most everyday programs are typeable.