大多数编程语言都有二进制运算符的优先级和结合性表。在某些情况下,结合性很重要,例如(a - b) - c != a - (b - c)。然而,对于像&&这样的联合运算符来说,它似乎并不重要,但是大多数语言都将其列为左关联。
是否存在(a && b) && c和a && (b && c)之间实际上存在差异的情况?
模式匹配(如在例如Prolog、ML系列语言和各种专家系统外壳中发现的)通常通过以严格顺序逐个元素地匹配查询来操作。A or B or CC or $X
从表面语法来看,这并不匹配,但从逻辑上讲,它应该与绑定到A or B的$X匹配,因为or是结合性和交换性的。在任何一种语言中,有没有任何现有的系统可以做这种事情?