What is the translation of " STATICALLY TYPED " in Chinese?

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

Examples of using Statically typed in English and their translations into Chinese

Java is statically typed.
Java是静态类型的.

With all that said and done, Scala is still a statically typed language.
说了这么多，Scala仍然是一个静态类型语言。

Nim is a statically typed compiled systems programming language.
Nim是一种静态类型编译的系统编程语言。

The Crystal programming language is a statically typed Ruby variant.
Crystal编程语言是一个静态类型的Ruby变体。

It is a statically typed programming language, which is in the experimental stage today.
它是一种静态类型的编程语言，现在还处于实验阶段。

Haskell is statically typed.
Haskell是静态类型的.

It is a statically typed programming language, which is in the experimental stage today.
它是一种静态类型的编程言语，现在还处在试验阶段。

First, atypical of most such“little languages”[2], Sawzall is statically typed.
首先，跟大部分”小语言”[2]所不同，Sawzall是一个静态类型语言。

Scala is statically typed.
Scala是静态类型的。

In a statically typed language, every expression has a type whether you write it or not.
在静态类型语言中，每个表达式都有一个类型无论你写与否。

It's still perfectly statically typed, but is now anonymous.
它仍然是完全静态类型的，但现在是匿名的。

In a statically typed language, every expression has a type, whether it is written or not.
在静态类型语言中，每个表达式都有一个类型无论你写与否。

The big three contains two dynamically typed languages(Groovy, Clojure) and one statically typed language(Scala).
三巨头包含了两个动态类型的语言（Groovy、Clojure）和一个静态类型的语言（Scala）。

It is a statically typed programming language, which is in the experimental stage today.
它是一种静态类型的编程语言，现在还处在实验阶段。

If you attempt to do this in a statically typed language(such as Java or C), an error will be thrown.
如果你尝试在静态类型语言中（如Java或C）做这件事，它将抛出一个错误。

Statically typed languages, meanwhile, have responded to the threat of scripting languages by reducing type verbosity.
与此同时，静态类型语言通过减少类型冗长来应对脚本语言的威胁。

Scala is a different story- it is a statically typed language- and we have learned a lot from Scala's design.
Scala则是另一回事（它是静态类型语言），我们从Scala的设计学到了不少东西。

Statically typed languages that lack(such as C and Java) require that programmers declare the types they intend a method or function to use.
静态类型语言缺少类型推断（如Java），而需要编写者宣告所要使用的方法或函数的类型。

Duck typing techniques can be used in statically typed languages like C, but it generally requires some tedious reflection code.
Ducktyping技术能够应用在类似C这样的静态类型化语言中，但它通常需要实现一些冗长的反射代码。

In a statically typed language, you cannot bypass the type system by substituting a None for any value.
在一种静态类型语言中，你不能通过替代None为任意值来绕过类型系统。

Unlike JavaScript, Dart is a statically typed language, eliminating common sources of error in JavaScript code.
与Java不同，Dart是一种静态类型的语言，消除了Java代码中的常见错误源。

In most statically typed languages, the input and output types of functions and local variables ordinarily must be explicitly provided by type annotations.
在静态类型语言中，函数的输入和输出与局部变量的类型一般必须用类型标注明确的提供。

I think it is commonly accepted that statically typed languages are less productive, but here is a good paper that explains why.
我认为普遍认为静态类型语言的效率较低，但这是一篇很好的论文，可以解释原因。

Rust is a statically typed language, which means that we specify our types up front, and they're checked at compile time.
Rust是一种静态类型语言，这意味着我们要提前指定类型，并且在编译时期被检查。

Avro provides optional code generation for statically typed programming languages, but it can be used just as well without any code generation.
Avro为静态类型编程语言提供了可选的代码生成功能，但是它也可以在不生成任何代码的情况下使用。

Rust is a statically typed compiled language that fills the roles that most users use C or C++ for.
Rust是一种静态类型的编译语言，满足了大多数用户使用C或C++能够实现的目标。

On the other hand, the i and length variables are statically typed integer variables, that can only have integer values in the entire program execution.
另一方面,i和length变量是静态类型的整数变量,在整个程序执行中只能有整数值。

Java is a statically typed language while JavaScript is a dynamic typed language.
Java是静态类型语言，JavaScript是动态类型语言。

It is a statically typed functional language more similar to Haskell than C, but without the head-scratching complexity of Haskell.
它是一种静态类型的函数语言，与Haskell相比更类似于C，但没有Haskell那种令人挠头的复杂性。

Given that Go is a statically typed language, it's exposed to a number of various limitations when it comes to more loosely typed abstract programming.
鉴于Go是一种静态类型语言，当涉及更松散类型的抽象编程时，它会受到许多各种限制。