理解APL中的域错误:复制/粘贴在两个步骤中的结果

Question

我已经尝试了APL，但遇到了一个域错误，我无法理解。

以下是我在gnu-apl中尝试过的：

​

      isPrime ← {2=⍴(0=(⍳⍵)|⍵)/⍳⍵}
      (isPrime¨ ⍳20) / ⍳20
 DOMAIN ERROR
      (isPrime¨⍳20)/⍳20
      ^             ^

​

令我惊讶的是，当我刚刚评估对isPrime的调用并复制结果数组时，域错误消失了：

      (isPrime¨ ⍳20)

 0  1  1  0  1  0  1  0  0  0  1  0  1  0  0  0  1  0  1  0

​

​

      0  1  1  0  1  0  1  0  0  0  1  0  1  0  0  0  1  0  1  0 / ⍳20
2 3 5 7 11 13 17 19

​

..。但是将它分配给一个变量也不起作用：

      ps ← (isPrime¨ ⍳20)
      ps / ⍳20
DOMAIN ERROR
      ps/⍳20
      ^  ^

​

现在我很困惑。我原以为这三种方法都应该同样有效：

1. 直接调用函数
2. 调用它并复制/粘贴其结果
3. 使用临时变量而不是复制/粘贴。

我还与基于浏览器的ngn/apl解释器进行了反复检查。当itoa从0开始计数时，我不得不稍微修改代码。但是，域错误是相同的：

​

isPrime ← {2=⍴(0=(1+⍳⍵)|⍵)/(1+⍳⍵)}

⍝ (isPrime¨ (1+⍳20)) / (1+⍳20)
⍝ DOMAIN ERROR

isPrime¨ (1+⍳20)
⍝ 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0

ps ← isPrime¨ (1+⍳20)
⍝ ps / (1+⍳20)
⍝ DOMAIN ERROR

0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 / (1+⍳20)
⍝ 2 3 5 7 11 13 17 19


As two different implementations show the same behavior, I am quite certain the mistake is on my side. Unfortunately, my understanding of APL is very limited.

Answer 1

问题是，从isPrime返回的每个元素本身都是一个元素向量，而约简则需要一个简单的布尔向量。

⍴¨isPrime¨⍳20
┌─┬─┬─┬─┬─┬─┬─┬─┬─┬─┬─┬─┬─┬─┬─┬─┬─┬─┬─┬─┐
│1│1│1│1│1│1│1│1│1│1│1│1│1│1│1│1│1│1│1│1│
└─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┘
      (∊isPrime¨⍳20)/⍳20
2 3 5 7 11 13 17 19

(我不确定这在GNU APL中是否有效。一元∊是“登记”，它将把嵌套的向量转换成一个简单的向量.)

为了避免这个问题，您应该确保函数的结果是标量。虽然看起来是这样的，但您可以将标量(2)与1元素向量(⍴)进行比较，这反过来又使它成为一个向量。因此，如果您将该单像素向量转换为标量，则您的函数将按预期工作：

isPrime ← {2=⍬⍴⍴(0=(1+⍳⍵)|⍵)/(1+⍳⍵)}

Answer 2

我还没有执行代码，但是我怀疑isPrime返回中的每个元素本身都是一个向量。