允许元素类型的类型流的查询模式

摘要

所要求保护的主题涉及运算符模式的形式化，其可方便表达式的第一子句中的运算符到表达式的下一子句中的运算符的元素类型的类型流。流到下一子句的类型以及其中现存的运算符可被组合以推断下一子句的元素类型。由此，可增量式地实现类型检查、自动完成和其它有利特征而无需在前对表达式的完全转换。

主权项

一种用于方便元素类型的类型流的计算机实现的方法，包括：接收查询子句，所述查询子句包括与查询运算符模式相关联的查询运算符、元素类型T和源类型，所述源类型是可查询类型，其中所述查询运算符映射到根据所述查询运算符模式定义的方法调用，所述方法调用表达所述查询运算符，并且其中所述元素类型是作为关于所述源类型的控制变量被引入的，所述控制变量的范围基于所述查询运算符来确定，并且范围中的控制变量能够被传递到下一查询子句；利用所述源类型和所述查询运算符来确定元素类型；以及采用前一查询子句的元素类型作为所述利用动作的源类型。