对多态类型系统实现中的一些问题也进行了讨论。
The type checking algorithm and some problems about implementation are also discussed.
引入类型变量和相应的类型检查方法，就可以将其类型系统扩充为多态类型系统。
With type variables, the original type system can be augmented and become a polymorphic type system.
类型系统一直是理论计算机科学的研究热点，特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用。
In recent years, peoples have studied many type systems, and the type systems with high order subtyping play an important role in the research of formal foundation of object oriented technology.
应用推荐