What is the translation of " 的类型系统 " in English?

• type system
• type systems
• typing system

Examples of using 的类型系统 in Chinese and their translations into English

Scala的类型系统.
Scala 's Type Systems.

许多程序设计语言的类型系统支持子类型。
Many programming language type systems support subtyping.

强大的静态类型系统.
Strong static type systems.

可选的类型系统是宽容的。
Optional type systems are forgiving.

Kotlin的类型系统旨在从我们的代码中消除NullPointerException。
Kotlin's typed system eliminates NullPointerExceptions from code.

例如它的类型系统可以帮助你避免空指针异常。
As an instance, the type system can help you avoid null pointer exceptions.

它的类型系统与Agda的类似。
The type system is similar to the one used by Agda.

Java7的类型系统没有重大改变。
Java 7 did not materially change the type system.

Kotlin的类型系统旨在消除来自代码空引用的危险，也称为《十亿美元的错误》。
Kotlin's type system is aimed at eliminating the danger of null references from code, also known as‘The Billion Dollar Mistake.'.

这篇文章展示了如何利用Swift的类型系统来使你的程序更具表现力和健壮性。
This post explains how you can take advantage of Swift's type system to make your programs more expressive and robust.

很多其它的类型系统也有同样的缺点，当然包括AGOLW语言。
Many other type systems have the same flaw, including of course, AGOI W.

九型人格是一种古老的人格类型系统，在描述人类如何积极地或消极地联系在一起方面具有令人难以置信的准确性。
The Enneagram is an ancient personality type system with an uncanny accuracy in describing how human beings are wired, both positively and negatively.

它还提供了一个非常强大的类型系统，可以通过使用注释和类型判断的组合来静态分析代码。
It also features an extremely powerful typing system that can statically analyze your code by using a combination of annotations and type inference.

确定性编程可以用任何语言完成-即使功能语言有更多工具可以通过更复杂的类型系统防止意外的副作用。
Deterministic programming can be done in any language- even if functional languages have more tools to prevent accidental side-effects through more sophisticated type systems.

Pointer可以让你无视Go的类型系统，完成任何类型与内建的uintptr类型之间的转化。
Pointer type allows you to bypass Go's type system and enables conversion between arbitrary types and the uintptr built-in type..

它也提供了一个极其强大的类型检查系统，能够通过注释和类型推理静态分析你的代码。
It also has an extremely powerful typing system that can statically analyze your code using a combination of annotations and type inference.

而另一方面，Python有一个统一的强类型系统，None这种类型也有明确的定义。
On the other hand, modern Python has a unified strong type system, where the type of None is well-specified.

Minsky表示，通过捕获错误，OCaml的类型系统可以让JaneStreet的程序员专注于更大的问题。
Minsky says that by catching bugs, OCaml's type system allows Jane Street's coders to focus on loftier problems.

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

如果你有一个非常丰富和富有表现力的类型系统，它需要更多的知识来理解这些错误信息，你想要更多帮助。
If you have a very rich and expressive type system that requires more knowledge to make sense of those error messages, you want more help.

静态类型语言的推崇者指出，如果没有一个严格的类型系统，那么一个微小的类型错误就可能导致生产环境崩掉。
Static type system advocates point out that without a type system, simple typing mistakes may result in failures in production.

Kotlin的类型系统旨在消除来自代码空引用的危险，也称为《十亿美元的错误》。
Kotlin programming language's type system aims at eliminating the perils of null references from code, which is often called The Billion Dollar Mistake.

Rust的类型系统在此问题上下了很大的功夫，不过它不可能捕获所有种类的错误。
Rust's type system shoulders a huge part of this burden, but the type system cannot catch every kind of incorrectness.

Scala配备了一套富有表现力的类型系统，该抽象概念以一种安全的和一致的方式被使用。
Scala is loaded with a more expressive type system that enforces abstractions to be used in a safe and coherent manner.

Scala配备了一个拥有强大表达能力的类型系统，它可以静态地强制以安全、一致的方式使用抽象。
Scala is loaded with a more expressive type system that enforces abstractions to be used in a safe and coherent manner.

错误消息有点模糊，但是使用Swift的类型系统来捕获这种错误是极好的。
The error message is a bit vague, but what's great is that we have used Swift's type system to catch this kind of error.

Kotlin的类型系统致力于从代码中消除空引用的风险（又名TheBillionDollarMistake）。
Kotlin's type system is aimed at eliminating the danger of null references from code, also known as‘The Billion Dollar Mistake.'.

另一方面，现代的Python拥有一个统一的强类型系统，其中什么都没有（None）的类型是明确指定的。
On the other hand, modern Python has a unified strong type system, where the type of None is well-specified.

它的发明是在1965年，那时我用一个面向对象语言（ALGOLW）设计了第一个全面的引用类型系统。
In 1965, I was designing the first comprehensive type system for references in an object oriented language(ALGOL W).