在编译过程中表示和检查程序组件的一致性的可扩展类型系统

摘要

提供了用于各种形式的中间语言校验的一致性的类型表示、类型检查器和编译器。在编译器中对编程语言进行类型检查是通过取一个或多个规则集作为对类型检查器的输入来实现的，类型检查器基于多个准则中的任一个或两个或多个的组合来选择一个或多个规则集。它们之中有编译阶段、源语言、体系结构以及进行类型检查的语言中存在的类型化级别。语言然后使用所选择的一个或多个规则集来进行类型检查。规则集可包括对应于强类型检查的一个规则集、对应于弱类型检查的一个规则集、以及对应于表示类型检查的一个规则集。作为替换，可提供具有基于先前提到的准则的的任一个，或两个或多个的组合从一较大的规则集在运行时选择一个或多个规则集的类型检查器的编译器。

主权项

1. 一种依照一个或多个类型检查规则集在编译器中对编程语言进行类型检查的方法，包括：基于当前编译阶段选择一个或多个类型检查规则集；以及基于所选择的一个或多个类型检查规则集对所述编程语言进行类型检查，其中，所述多个类型检查规则集包括对应于强类型检查的一个类型检查规则集、对应于弱类型检查的一个类型检查规则集、以及对应于表示类型检查的一个类型检查规则集。