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

摘要

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