具有合并的检验信息的数据类型

摘要

本发明涉及将检验信息结合于数据类型的系统和方法。特别地，本发明提供用检验信息将数据类型参数化，从而两个不同检验间的比较产生静态类型错误，而不是运行时间错误。此外，本发明提供了便利地用局部化数据类型工作，以允许对检验和普通类型进行一般参数化。在串的上下文中，本发明允许多种语言中的串的并行使用，并便于正确的操作。

主权项

一种数据约束系统，其特征在于，包括：接收与数据相关的数据类型的类型接收器组件；接收与数据相关的检验信息的检验信息接收器组件；和使用所接收的数据类型和检验信息，产生包括类型约束与检验约束的数据约束组件的构造组件，其中所述类型约束限制了所述数据的类型，而所述检验约束限制了所述数据的种类；以及用所述检验约束作为所述类型约束的参数形成所述数据约束组件的数据说明组件，所述数据说明组件能够在如果出现类型不匹配或检验不匹配的情况下生成一静态编译时间错误。