Scala is statically typed: Scala is equipped with an expressive type system that enforces statically that abstractions are used in a safe and coherent manner.
Scala是静态类型的：scala配备了一套富有表现力的类型系统，该抽象概念以一种安全的和一致的方式被使用。
The type system by itself is not expressive enough to capture all of the intended invariants.
类型系统自身并没有表现得能够捕获所有计划的不变量。
This enables a compact and expressive syntax which is clean, fast and fun to type.
这样就使得语法简洁明了，可以干净、快速和有趣地输入。
There are high level type systems and soundness in the new computing model, making it extremely expressive and robust, which is seldom possible in prevailing object-oriented programming.
这套计算模型中引入了一些高层次的类型系统和安全机制，使它的表达能力和安全性超越了流行的基于面向对象的计算模型。
The digital age, it seems, has seen the birth of a new type of Olympian from the country: open, expressive and aware of social media.
数字化时代似乎见证了来自中国的一批新型奥运选手的诞生：坦率、善于表达、了解社交媒体。
We were encouraged to be expressive with type, but we weren't really tutored on the creation of original forms.
我们被鼓励做感染力强大的字体，但我们并没有修真正的原创设计。
We were encouraged to be expressive with type, but we weren't really tutored on the creation of original forms.
我们被鼓励做感染力强大的字体，但我们并没有修真正的原创设计。
应用推荐