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

摘要

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

主权项

1.一种采用查询模式来方便表达式中的运算符之间的类型元素的类型流的计算机实现的系统，包括：接收包括第一查询子句和至少一个下一查询子句的查询表达式的接口，所述第一查询子句包括第一查询运算符、元素类型T和源类型，所述源类型是可查询类型；以及用于所述至少一个下一查询子句的查询运算符模式，所述查询运算符模式确保到所述至少一个下一查询子句的元素类型的类型流。