Without static type checking, a type error may linger in your program as a saboteur until just the right execution path happens to uncover it.

• 没有静态类型检查的话,类型错误将作为破坏者逗留在您的程序中,直到恰当的执行路径碰巧把它揭露出来为止。