TYPED LANGUAGE in Chinese translation

• 类型语言

Examples of using Typed language in English and their translations into Chinese

The goal of the Idris project is to build a dependently typed language suitable for verifiable systems programming.
Idris项目旨在为可验证的通用编程打造一个依赖类型的语言。

Before we even get to JavaScript, let me suggest something pseudo-code'ish from some theoretical strongly typed language to illustrate.
在我们进入JavaScript以前，我建议使用某个理论上是强类型的语言的假想代码来说明一下：.

Caml is another dialect of ML and is a statically typed language that supports automatic memory management.
Caml是ML的另一种方言，是一种支持自动内存管理的静态类型语言。

If JRuby was on the table, then I knew that any high-level, dynamically typed language would also likely be on the table.
如果考虑JRuby，那么我认为任何高级的动态类型语言都可以胜任。

It is almost a merge of Python and C, and is a progressively typed language.
几乎是Python和C的结合体，同时它是渐进的类型化语言。

This programming language, developed by Sun Microsystems, is a strongly typed language, based on object and class.
由SunMicrosystems开发的这种编程语言是基于对象和类的强类型语言。

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

Normally, in a typed language, the dispatch mechanism will be performed based on the type of the arguments(most commonly based on the type of the receiver of a message).
通常，在类型语言中，会基于参数的类型（最常见地基于消息的接收者的类型）来执行调度机制。

When you call functions that are overloaded for several types, such as std:: ostream::operator<< or a template function, C++ resembles a dynamically typed language even more.
当你调用重载几个类型的函数时，比如std::ostream::operator<<或者一个模板函数，C++更像一个动态类型语言。

The Java virtual machine provides some support for dynamically typed languages.
Java虚拟机对动态类型语言提供了一定的支持。

As we know, Java is statically a type language.
我们已经知道Java是一个静态类型语言。

It may seem that I am advocating statically typed languages, but I am not.
似乎我是提倡静态类型的语言,但我不是。

I come from a background using statically typed languages including C/C++ and Java.
我有使用静态类型语言的背景，包括C/C++和Java。

I think it is commonly accepted that statically typed languages are less productive, but here is a good paper that explains why.
我认为大家都赞同静态类型语言的产量较低，但这里有一篇很好的论文解释了其中的原因。

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.
我认为普遍认为静态类型语言的效率较低，但这是一篇很好的论文，可以解释原因。

But, since I should be using functional programming and typed languages I first need to pre-compile Typescript or add this Flow thingy.
但是由于我要用函数式编程和强类型语言，所以我首先要用上Typescript或者Flow。

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），而需要编写者宣告所要使用的方法或函数的类型。

It turns out to be much simpler to define the Y combinator in dynamically typed languages, so that's what I will do.
在动态类型语言里定义Ycombinator显得更简单，所以我也会这么做。

And in dynamically typed languages, you cannot confuse the usage of Maybes/Options and the contained values.
而在动态类型语言中，你不能混淆Maybes/Options和已包含值的用法。