类型检查 - 翻译成英语

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

在 中文 中使用 类型检查 的示例及其翻译为 英语

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

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

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

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

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

无意中带来的后果是程序员必须自己来转换类型，有时就是想回避类型检查而得到他们真正想干的事情。
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.

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

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

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

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

这里i==1的比较结果是一个Bool类型，所以第二个栗子可以通过类型检查。
The result of the i== 1 comparison is of type Bool, and so this second example passes the type-check.

然后，执行类型检查，并做一些让程序运行更快的初级优化。
Then, types will be checked, and some preliminary optimizations are applied which make the execution of the program faster.

在这些情况下，我们要选择退出类型检查，并让值通过编译时检查。
In such cases, we want to opt-out of type-checking and let the values pass through compile-time checks.

它使用了LLVM代码的一些惯例来使得动态类型检查更高效，因为编译器总要用它们。
It uses some conventions from the LLVM codebase to made dynamic type tests efficient, because compilers have to use them all the time.

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

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

这意味着JIT可以在进入循环前完成所有类型检查。
This means that the JIT can do all of the type checks before it enters the loop.

虽然类型检查支持,甚至是必需的,在一些罕见的情况下,你会发现这不是通常的“神谕的”的思维方式。
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.

它对数组和标量(scalars)进行基本类型检查，并为所有变量引用分配整数索引（以避免执行时，较慢的映射查找）。
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).