STATICALLY TYPED - 翻译成中文

• 静态类型

在 英语 中使用 Statically typed 的示例及其翻译为 中文

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

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

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

If you have experience with Java and other statically typed languages, you will appreciate these features of Scala too.
如果你有Java和其他静态类语言的经验，你也将会非常欣赏Scala的性能。

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

Kotlin is a modern and statically typed programming language that tends to boost productivity and increase the happiness level of the developer.
Kotlin是一种现代的静态设置类型编程语言，可以提高开发者的工作效率，并提升开发者的工作愉悦度。

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是一个静态类型语言。

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

In statically typed languages such as Java or ML, a variable also has a type, meaning that only certain kinds of values can be stored in it.
在静态类型语言中，如Java或ML，每个都变量有一个类型，也就是说只有给定种类的值能存储到该变量中。

If your bytecode was compiled from a statically typed language, you might think you're safe here because the compiler won't generate unsafe bytecode.
如果你的字节码是由静态类型语言编译而来，你也许认为它是安全的，因为编译不会生成不安全的字节码。

I like statically typed languages.
我喜欢静态类型语言。

I like statically typed languages.
我是特别喜欢静态类型语言。

I love statically typed languages.
我是特别喜欢静态类型语言。

Many statically typed languages require type declarations.
大多数静态类型语言需要做类型声明。

These languages are statically typed.
这些语言被称作动态类型语言。

Java and C are statically typed languages.
Java和C是静态类型语言。

Java and C are statically typed languages.
Java和C是静态类型定义语言。

JavaFX is a declarative, statically typed programming language.
JavaFX脚本是一种声明式、静态类型编程语言。

Statically typed and efficient(like C++ or Java).
静态类型和效率（如C++或Java）；.