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.

• 这套计算模型中引入了一些高层次的类型系统和安全机制，使它的表达能力和安全性超越了流行的基于面向对象的计算模型。