This is good news, as it means that style sheet authors will soon be able to take advantage of features like sequences, quantification, and stronger type control.
这是个好消息，因为它意味着样式表作者们将很快就能利用象序列、量化和更强有力的类型控制这样的特性。
Likewise, you cannot include something of the wrong type, even if the length of a quantification is acceptable.
同样，您不能包括错误类型的信息，即使量化长度是可接受的。
A pure functional language like Haskell might offer type hierarchies, discriminated unions, quantification, existential types, and so on, but OOP languages typically lack these things.
象Haskell那样的纯函数型语言可以提供类型层次结构、区别合并、量化、存在类型等等，但OOP语言通常缺乏这些功能。
应用推荐