More then one second and people will test their code less often. Five minutes and people start relying on the type-checker. Like with the chicken and egg proble

More then one second and people will test their code less often. Five minutes and people start relying on the type-checker. Like with the chicken and egg problem, what came first, the type-checker or the need to have a type checker?