TYPE CHECKING - 翻译成中文

• 类型检查
• type checking

在 英语 中使用 Type checking 的示例及其翻译为 中文

Queries against data are expressed as basic strings without type checking at compile time or IntelliSense support.
传统上，针对数据的查询都是以简单的字符串表示，而没有编译时类型检查或IntelliSense支持。

Fortunately, you can use Rust's type system(and thus the type checking the compiler does) to do many of the checks for you.
幸运的是，可以利用Rust的类型系统（以及编译器的类型检查）为你进行很多检查。

Traditionally, queries against data are expressed as simple strings without type checking at compile time or IntelliSense support.
传统上，针对数据的查询都是以简单的字符串表示，而没有编译时类型检查或IntelliSense支持。

Type annotations were created to support improved analysis of Java programs way of ensuring stronger type checking.
创建类型注解是为了支持Java程序的改进分析，以确保更强大的类型检查。

It's structural rather than nominal, meaning that it works basically like automatic duck typing rather than name or identity based type checking.
TypeScript的静态类型是结构不是名义，意味着它基本上像自动鸭子类型一样工作，而不是基于名字或者标识符的类型检查。

Unlike TypeScript, which has a similar purpose, you do not need to switch to a new language and comment on the code for type checking.
不像有着相似目的的TypeScript，它不需要你迁移到一个新语言并且通过注释你的代码来进行类型检查。

Although type checking is supported- and even required, in some rare cases- you will see that it's not usually the“Pythonic” way of thinking.
虽然类型检查支持,甚至是必需的,在一些罕见的情况下,你会发现这不是通常的“神谕的”的思维方式。

Static type checking enables faster execution because type checking need not be performed at runtime and because values can be stored in more efficient representations.
静态类型检查使得程序更快地运行，这是因为类型检查不是在运行时才进行的，并且值可以用一种更加高效地方式表示。

It does basic type checking of arrays versus scalars, and assigns integer indexes to all variable references(to avoid slower map lookups at execution time).
它对数组和标量(scalars)进行基本类型检查，并为所有变量引用分配整数索引（以避免执行时，较慢的映射查找）。

One reason is“run-time type checking takes time,” and a more thought out answer would include the enhanced feasibility of optimizing statically-typed code.
原因之一就是“运行时类型检查需要花费时间”而思想更加深刻的一种回答应该要把对于优化静态类型代码的增强特性包含进来。

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

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

Numerous dynamic languages have looked at ways to add static typing checking.
某些dynamiclanguage现在也在加static的typechecking.

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

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

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

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

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

The type check operator returns true if the instance is of that subclass type and false if it is not.
类型检查操作符返回true若实例属于那个子类型，若不属于返回false。

TypeScript is a specific programming language that can radically enhance your development experience by giving compilation level type checks.
TypeScript是一种特定的编程语言，它可以通过提供编译级别的类型检查从根本上增强开发体验。