TYPED LANGUAGES 中文是什么意思 - 中文翻译

• 类型语言

在 英语 中使用 Typed languages 的示例及其翻译为 中文

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

Conversely, statically typed languages provide more of a safety net, but often at the cost of quick iteration.
相反，静态类型语言提供更多的安全网，但往往增加快速迭代的成本。

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

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

Consider two well-known statically typed languages: Go and Haskell.
我们再来仔细看看两个著名的静态类型语言：Go和Haskell。

I explicitly casted back to int to make it more clear for people who don't use weakly typed languages.
我明确地将其转换回int，以使那些不使用弱类型语言的人更清楚。

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

In fact, this usage actually looks a lot like it does in some other statically typed languages.
实际上，这种用法看起来与其他的静态类型语言中的用法非常相像。

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

Game engines, mobile applications and corporate backends are generally built in static typed languages.
游戏引擎，移动应用和企业级的后台一般都是用静态的类型语言构建的。

Many other dynamically typed languages, including Python, Ruby, Objective-C and Groovy use similar approaches.
许多其他动态类型的语言，包括Python、Ruby、Objective-C和Groovy都使用类似的方法。

V8 takes advantage of another technique for optimizing dynamically typed languages called inline caching.
V8利用另一种技术来优化动态类型语言，称为内联缓存。

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

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

C++ sees as more performing than dynamically typed languages because the code is type-checked before it is executed on real grounds.
C++比动态类型的语言具有更好的性能，因为在真正执行代码之前先对代码进行类型检查。

Being a statically-typed language, C is faster than dynamically typed languages because things are more clearly defined.
作为一种静态类型语言，C比动态类型语言更快，因为事物的定义更明确。

Statically typed languages have a substantially smaller coefficient yet both functional language classes have the same standard error.
静态类型语言的系数要小很多，但是函数式语言类都有同样的标准错误。

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

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

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，每个都变量有一个类型，也就是说只有给定种类的值能存储到该变量中。

This mechanism has evolved in response to the need to bridge statically typed languages(F) to the increasingly dynamic data found on the web.
此机制是在响应将静态类型语言（F）桥接至网络上找到的日益增长的动态数据的需要过程中逐渐形成的。

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

Programming languages and platforms that typically support reflection include dynamically typed languages such as Smalltalk, Perl, PHP, Python, VBScript, and JavaScript.
一般支持反射的编程语言和平台包括动态类型语言如Smalltalk，脚本语言如Perl、PHP、Python、VBScript和JavaScript，Maudesystem的重写逻辑。

Concise-Code written in dynamically typed languages such as Python tends to be shorter than code written in other mainstream languages..
使用像Python这样的动态类型语言编写的代码往往比用其他主流语言编写而成的代码更加简短。

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

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

I think it is commonly accepted that statically typed languages are less productive, but here is a good paper that explains why.
我认为人们普遍接受的是静态类型语言的生产力较低，但是，这有一篇优秀的论文解释了为什么不是这样。

In a dynamically typed language, type checking occurs at run-time.
在动态类型语言中，类型检查发生在运行时。

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