What is the translation of " TYPE CHECKING " in Chinese?

• 类型检查
• type checking

Examples of using Type checking in English and their translations into Chinese

It also provides stricter type checking for object literals.
它还为对象字面量提供了更严格的类型检查。

Furthermore, PHP 5 introduces type hinting, or better type checking.
此外，PHP5引进了类型提示或更好的类型检查。

Just-in-Time Static Type Checking for Dynamic Languages.
某些dynamiclanguage现在也在加static的typechecking.

However, Jaql can also exploit rigid schema information when it is available, for both type checking and improved performance.
但是，Jaql还可以利用可用的刚性架构信息，用于类型检查和改进性能。

Static type checking is a very useful tool, but it's not a pre-requisite for FP.
静态类型检测是一个非常有用的工具，但它不是FP的必备条件。

The dots are simply there to prevent type checking during compilation.
这些点在那里只是为了阻止在编译时的类型检查。

C++ does more strict type checking than C. For example the following program compiles in C, but not in C++.
六、C++比C更严格的类型检查，例如，以下程序在C中编译，但不在C++中编译。

There are also min() and max() macros that do strict type checking if you need them.
还有可以做严格的类型检查的min()和max()宏，如果你需要可以使用它们。

Moving type checking from runtime to compile time helps you find errors more easily and improves your programs' reliability.
将类型检查从运行时挪到编译时有助于您更容易找到错误，并可提高程序的可靠性。

The Simplifier is the part of the compiler between type checking and code generation.
Simplifier是编译器的㆒部份，处于typechecking和codegeneration之间。

A Java compiler applies strong type checking to generic code and issues errors if the code violates type safety.
Java编译器将强类型检查应用于泛型代码，并在代码违反类型安全性时发出错误。

To make the argument type explicit and thus encourage better type checking and appropriate conversion.
使参数类型明显因而鼓励更好的类型检查和适当的转换。

All the type checking happens at transpile time and the type annotations are removed from the generated Javascript code.
所有类别检查都发生在转译的过程中，在生成的JavaScript代码中，类别注释也会被移除。

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

The compiler performs type checking on the arguments to swap because the prototype of swap includes argument types for each parameter.
编译器对swap的参数执行类型检查，因为swap的原型包含每个参数的参数类型。

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

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

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

At the core of Angular lies TypeScript- a programming language that allows for easier code maintenance and a type system with reliable type checking.
Angular的核心是TypeScript-一种使代码更易于维护的语言，因为它提供了类型系统和可靠的类型检查。

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

The ability to infer types automatically makes many programming tasks easier, leaving the programmer free to omit type annotations while still permitting type checking.
自动推断类型能简化许多编程任务，使程序员可以自由地省略类型注释，同时仍允许类型检查。

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

The following illustration shows a partially-completed LINQ query against a SQL Server database in C with full type checking and IntelliSense support.
下图显示了一个用C语言编写的、不完整的LINQ查询，该查询针对SQLServer数据库，并具有完全类型检查和IntelliSense支持。

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

Applications can rely on XML parsers to do some structural validation, as well as data type checking(when schemas are used).
D…应用程序可依赖XML分析器进行某些结构验证以及数据类型检查（当使用架构时）。

The ability to infer types automatically makes many programming tasks easier, leaving the programmer free to omit type annotations while still permitting type checking.
自动推断类型的能力让很多编程任务变得容易，让程序员可以忽略类型标注的同时仍然允许类型检查。

Note: Older versions of browsers do not take into consideration strict MIME type checking, since X-Content-Type-Options was recently implemented.
注意：旧版本的浏览器没有进行严格的MIME类型检查，因为X-Content-Type-Options是最近才实现的。

Development tools support JSX is more advanced than other available Ale templates(eg, linting, type checking, editor auto-completion).
开发工具对JSX的支持相比于现有可用的其他Vue模板还是比较先进的(比如，linting、类型检查、编辑器的自动完成)。

An unintended consequence is that programmers must work to convert types, and sometimes work to evade type checking in order to do what they want.
无意中带来的后果是程序员必须自己来转换类型，有时就是想回避类型检查而得到他们真正想干的事情。