[发明专利]动态惰性类型系统

权利要求书

1.一种用于在类型系统中的类型检查的方法，包括：

采用被配置来执行存储在存储器(630)中的计算机可执行指令以执行以下动作的至少一个处理器(620)：

在运行时标识与计算机可执行程序相关联的一个或多个类型；

通过将所标识的类型与远程执行引擎所支持的类型进行比较来确定所述计算机可执行程序的至少一部分可由所述远程执行引擎执行；以及

将所述计算机可执行程序的所述至少一部分转换成目标编程语言以供远程执行。

2.如权利要求1所述的方法，其特征在于，还包括针对值来对由类型所指定的一个或多个约束进行求值，并且如果所述值不满足所述一个或多个约束中的至少一个则返回类型错误。

3.如权利要求2所述的方法，其特征在于，还包括对基础类别的一个或多个约束进行求值。

4.如权利要求1所述的方法，其特征在于，还包括动态地生成一个或多个类型。

5.如权利要求1所述的方法，其特征在于，还包括基于一个或多个函数自变量类型来预测函数的结果类型。

6.一种用于类型检查的类型系统(100)，包括：

耦合到存储器(630)的处理器(620)，所述处理器(620)被配置来执行存储在所述存储器(630)中的以下计算机可执行组件：

第一组件(110)，所述第一组件被配置成在运行时将类型分配给计算机可执行程序中的值；

第二组件，所述第二组件被配置成在所述计算机可执行程序执行期间，根据所述类型分析所述计算机可执行程序以寻找错误；

其中所述系统还包括第三组件，所述第三组件被配置成：

通过将标识的类型与远程执行引擎所支持的类型进行比较来确定所述计算机可执行程序的至少一部分可由所述远程执行引擎执行；以及

将所述计算机可执行程序的所述至少一部分转换成目标编程语言以供远程执行。

7.如权利要求6所述的系统，其特征在于，所述类型指定对基础类别的约束。

8.如权利要求6所述的系统，其特征在于，所述类型被表示为值。

9.如权利要求6所述的系统，其特征在于，所述类型包括品牌。