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

摘要

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

主权项

1.一种数据约束系统，其特征在于，包括：接收与数据相关的类型的类型接收器组件；接收与数据相关的检验信息的检验信息接收器组件；使用所接收的类型和检验信息，产生包括类型约束与检验约束的数据约束组件的构造组件。