论文部分内容阅读
类型系统是一种设计和研究程序设计语言的形式化方法和工具,既可在语言设计之初构造,便于严格、准确、正确地设计实现语言;也可在语言实现后构造,为研究语言的语义及其它性质建立模型.详细讨论了类型系统的基本构造和实现,通过基于图重写的函数式语言SClean的类型系统,提出一种实用的类型系统的构造和实现方法.