Dyalog APL中:If允许布尔数组而非标量的原因及方言情况问询

为什么Dyalog APL允许:If使用数组条件？ #

虽然官方手册标注条件需为单个布尔元素，但实际实现的数组支持并非单纯的"便捷性让步"，而是贴合APL核心设计的必然结果：

• APL的核心是数组优先，大部分运算（比如X>Y这类元素级比较）天然会产出布尔数组。如果强制:If只能接受标量，用户每次都得手动用∧/（判断全为真）或∨/（判断存在真）折叠数组，这违背了APL追求简洁、减少冗余代码的设计理念。
• Dyalog对数组条件有明确的判定规则：只有当布尔数组非空且所有元素都是1时，才会触发:If的分支；只要数组包含0，或是空数组，都会判定为假。这种规则既符合集合判断的直觉，又省去了用户手动转换的步骤。

是否仅出于便捷性考虑？ #

不止是便捷性，更是语言一致性的体现：
APL中很多上下文都支持数组到标量的隐式转换（比如赋值语句的条件判断、函数的布尔参数等），:If支持数组条件是这种一致性的延伸。它让用户不用在控制流逻辑和数组运算之间切换思维模式，保持代码的连贯性。

其他APL方言的支持情况 #

不同方言对非标量守卫的处理差异较大：

• GNU APL：和Dyalog逻辑一致，允许:If用布尔数组条件，默认以"全为真"作为判定标准。
• APL2（IBM）：严格要求条件为标量布尔值，传入数组会直接报错，必须手动折叠。
• NARS2000：支持非标量条件，但判定规则相反——只要数组里有至少一个1，就判定为真（等价于∨/的结果）。
• dzaima/APL：允许数组条件，默认规则是"全为真"，但用户可以通过配置调整为"存在真"。

内容的提问来源于stack exchange，提问作者August Karlstrom