That's quite right. But also there is a big difference between "the static checker will probably catch errors of this kind" and "the compiler will certainly ca

That's quite right. But also there is a big difference between "the static checker will probably catch errors of this kind" and "the compiler will certainly catch errors of this kind". The latter is far more liberating.