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

• 静态类型
• 一个静态类型
• 一种静态类型

Examples of using Static type in English and their translations into Chinese

Diversity of static type systems.
静态类型系统的多样性.

When you say"type" I'm going to assume you mean static type mostly.
当你说“型”我要去静态类型居多。

However, the static type is System.
但是，因为静态类型为System.

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

In Rust, we have a strong, static type system to help us reason about our code.
在Rust中，我们有一个强大的、静态类型系统来帮助使我们的代码可理解。

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

NET Framework version 2 or version 4, but static type annotations are optional.
NETFramework版本2或版本4进行编译，但静态类型注释是可选的.

It's a static type checker made by some guys at Facebook.
是一个静态类型检查器，就是Facebook的人写的。

Before describing gradual typing, let's review dynamic and static type checking.
在描述渐进类型之前，我们先来回顾一下动态类型检查和静态类型检查。

Mypy is a static type checker for Python.
Mypy是Python的一个可选静态类型检查器。

The intent is to reduce the“ceremony” associated with coding while maintaining a commitment to static type safety.
其目的是减少与编码相关的“形式”，同时保持静态类型安全。

It has a static type system, which assists in removing runtime errors.
它拥有静态类型的系统，有助于消除运行时错误。

Object-oriented programming, at least when you throw in a static type system, was very much terra incognita.
面向对象程序设计，至少摆在一个静态类型系统上，是一个非常未知领域。

It has a static type system, which assists in removing runtime errors.
它有一个静态类型系统，可以帮助消除运行时错误。

The intent is to decrease the‘service' that is related to coding though maintaining an assurance to static type safety.
其目的是减少与编码相关的“形式”，同时保持静态类型安全。

It has a static type system, which assists in removing runtime errors.
它有一个静态类型系统，它有助于消除运行时错误。

Easier refactoring and code modifications, because you do not have to change static type declarations throughout the code.
更易于进行重构和代码修改操作，原因是不必在代码中四处更改静态类型声明。

Mypy, a static type checking tool for Python, has existed for a while.
Mypy是Python的一个静态类型检查工具，已经存在了一段时间。

In C++03, rvalues of class type have a known dynamic type- it's the static type of that expression.
在C++03中，类类型的右值具有已知的动态类型-它是该表达式的静态类型。

Java is a static type language, while Python is a dynamic type language.
Java是一种静态类型语言，Python是一种动态类型语言.

A glvalue may be polymorphic: the dynamic type of the object it identifies is not necessarily the static type of the expression.
泛左值可以是多态的：其所标识的对象的动态类型不必是该表达式的静态类型。

Java is a static type language, while Python is a dynamic type language.
GO是一种静态类型的语言，而Python是一种动态类型的语言。

Flow is not a compiler, it's a static type checker used to"annotate" the JavaScript code.
Flow不是一个编译器，它只是一个静态类型检测工具，用来“标注”JavaScript代码。

Static type checking makes you think more seriously about your program which helps to further reduce bugs.
静态类型检查让你更严肃地审视你的程序，这会帮助减少BUG。

If the expression x has static type T and M is in the method set of type T, x.
如果表达式x有静态类型T，并且M在类型T的方法集中，那么x.

Static type checkers such as Mypy, Pyre, and Pytype can check type hints in Python source code.
静态类型检查器，例如Mypy、Pyre和Pytype可以检查Python源代码中的类型提示。

Flow is not a compiler, it's a static type checker used to"annotate" the JavaScript code.
FlowFlow不是一个编译器，它是一个用于“注释”JavaScript代码的静态类型检查器。

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

Nevertheless, I believe static type checking provides a convenient and low-cost way to catch type errors.
尽管如此，我还是认为静态类型检查提供了一种捕获类型错误方便且低耗的方法。

Go is primarily a static type language that comes with the flexibility of productivity of a dynamic type language.
Go是静态类型语言却提供了动态类型语言生产力的灵活性。