What is the translation of " 类型检查 " in English?

• type checking
• type-checking
• kind checking
• type check

Examples of using 类型检查 in Chinese and their translations into English

例如，弱类型检查规则集可以准许类型转换。
For instance, the weak type-checking rule set could permit type casts.

类型检查有助于在操作不同类型值时避免错误。
Type-checking helps you avoid errors when you're working with different types of values.

所以constint是类型检查的首选，而define是旧式。
So const int is preferred for the type check while define is old style.

类型检查可以在使用不同类型的值时帮助避免错误。
Type-checking helps you avoid errors when you're working with different types of values.

如果x是一个String，那么类型检查成功；.
If x is known to be a String, the type check succeeds;

你也应该知道你可以使用Flow在React中启用类型检查。
You should also probably know that you can use Flow to enable type-checking within React.

如果x是一个Socket，那么类型检查失败。
If x is known to be a Socket, the type check fails.

包含在λ-项内的类型信息使类型检查直接了当。
The typing information contained in λ-terms makes type-checking straightforward.

类型检查被移动到循环之前以便于执行。
The type checks are moved so that they happen before the loop.

第一，类型检查。
The first is Type Examination.

在java中有异常处理和类型检查机制。
There are exception handling and the type checking mechanism in Java.

Python最大的缺点是速度和类型检查。
The biggest issues with Python are speed and the lack of type checking.

Java中有异常处理和类型检查机制。
There are exception handling and the type checking mechanism in Java.

在这些语言中，NULL超出了类型检查的范围。
In these languges, NULL is above type checks.

另一规则集可对应于“弱”类型检查，它可以是比“强”类型检查更松的类型检查。
Another set can correspond to“weak” type-checking, which would be a looser type-checking than the“strong” type-checking.

类型检查是增量的，这样，即使在同一个文件中的一些代码可以转换为Hack，而其他部分保持动态类型。
Type checking is incremental, such that even within a single file some code can be converted to Hack while the rest remains dynamically typed..

静态语言通常比较苛严（通过类型检查来发现错误），需要编写更多的代码来构建原型。
Static Language are usually more strict with catching errors type checking, and it takes more code to build a prototype.

静态语言在通过类型检查查找错误时一般更严格，并且需要更多的代码来构建一个原型。
Static languages are usually extra strict in catching errors via kind checking, and it takes extra code to build a prototype.

人们是真正体会到了类型检查提供的安全性所带来的好处。
Real people are getting real value out of the extra safety provided by type-checking.

用类型检查操作符（is）来检查一个实例是否属于特定子类型。
Use the type check operator(is) to check whether an instance is of a certain subclass type..

一个规则集可对应于“强”类型检查，诸如对C或MSIL的类型检查是期望的。
One set can correspond to“strong” type-checking, such as would be desirable to type-check C or MSIL.

并且我在工作中发现，强类型检查找到的那种错误并不是令我头痛的错误。
And I have found in my work that the sorts of errors that strong type checking finds are no the errors I worry about.

静态语言通常比较苛严（通过类型检查来发现错误），需要编写更多的代码来构建原型。
Static languages are usually extra strict in catching errors via kind checking, and it takes extra code to build a prototype.

静态语言通常在通过类型检查而捕获错误方面更严格，需要更多的代码来构建一个原型。
Static languages are often more strict in catching errors by kind checking, and it takes more code to construct a prototype.

ToString方法，已经成为实际的类型检查标准，这在null和undefined中被证明是一致的：.
ToString method, which has become the de-facto standard for type checking, proves to be consistent in this regard for both null and undefined:.

使用类型检查操作符（is）来检查一个实例是否属于一个特定的子类。
Use the type check operator(is) to check whether an instance is of a certain subclass type..

静态语言在通过类型检查查找错误时一般更严格，并且需要更多的代码来构建一个原型。
Static Language are usually more strict with catching errors type checking, and it takes more code to build a prototype.

使用类型检查运算符（is）来检查实例是否属于某个特定子类型。
Use the type check operator(is) to check whether an instance is of a certain subclass type..

我们可以通过比较类型检查机制、对不同程序设计模型的支持以及所支持的对象模型来区别不同的OOP语言。
We can discriminate among different OOP languages comparing type checking mechanisms, the ability to support different programming models, and the object model they support.