Strongly typing and dynamic type checking
强附类型和动态类型检查
As a consequence type checking becomes undecidable.
作为结论类型检查成为不可判定性的。
Doing so causes the compiler to perform argument type checking.
这样做会导致编译器执行参数类型检查。
He would have liked stronger static type checking of template arguments.
他本来想要更强的模板参数的静态类型检验。
It's clear that type checking isn't enough to prove that your code is correct.
很明显，类型检查并不足以证明代码的正确性。
In chapter eight we add dynamic type checking to catch our mistakes earlier on.
在第八章我们增加动态类型检测来及早的捕获错误。
After all, the whole point of static type checking is to prevent exactly that sort of exception.
毕竟静态类型检查主要是严格防止那种异常。
英文例句大全为您提供type checking英文例句大全,type checking英文造句,关于type checking的英语句子,单词type checking怎么造句,type checking英文例句大全有哪些,哪些英语句子是关于type checking,英语单词type checking的句子,单词type checking如何造句,type checking怎么造句等。