The key reason for considering [static type checking] essential was … [to recover from a dynamic type error]. … However, the most fundamental reason for relying on … a program composed out of statically type-checked parts … or dynamically-checked interfaces.
Google-1
Google-2
Copyright clearance needed for quotation.