| 摘要: |
| 本文从Ideal的基本概念出发,研究了Ideal作为类型的语义模型所具有的性质.在类型的Ideal模型下,讨论了Garment中参数化多态类型和约束多态类型的语义.并在此基础上,证明了Garment中类型规则的语义可靠性. |
| 关键词: Ideal,多态类型,类型系统,语义,Garment. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金资助. |
|
| An Ideal Model for Polymorphic Types in Garment |
|
ZHENG Hong-jun,ZHANG Nai-xiao
|
| Abstract: |
| Starting with the concept of Ideal, the paper presents their properties when Ideals are taken as the semantic model for types. Under the ideal model of types, the paper discusses the semantics for polymorphic types in a mechanism for abstraction and encapsulation of languages named Garment, including parametric polymorphic types and constrained polymorphic types. Finally, the semantic soundness of typing rules in Garment is proved within the Ideal model. |
| Key words: Ideal, polymorphic type, type system, semantics, Garment. |
