Dyalog APL赋值出现nameclass变更语法错误的原因及解决办法

什么是「赋值时变更nameclass」 #

Dyalog APL中的每个命名对象都有对应的nameclass（名称类别），用于标识该名称绑定的对象类型：普通变量对应类别2，函数对应类别3，操作符对应类别4，此外还有标号、外部对象等其他类别。
你遇到的错误本质是：同一个名称已经绑定了某一类别的对象，你尝试赋值时给它绑定了另一类别的对象。
错误复现示例：

⍝ 第一次绑定：f是函数，nameclass=3
f←{⍺+⍵}
⍝ 第二次赋值：尝试把f改为普通变量，nameclass变成2，触发错误
f←10
SYNTAX ERROR: Can't change nameclass on assignment
f←10
∧

如果你使用+←、×←这类修改赋值操作时操作的是函数/操作符，就会触发你遇到的第二类报错。

该操作不被允许的原因 #

• 语法解析依赖：APL解释器在解析代码时，会提前根据名称的类别判断语法合法性，比如f 3如果f是函数就会被解析为函数调用，如果是变量就属于语法错误。如果允许动态修改nameclass，会导致语法解析完全混乱，无法提前校验代码合法性。
• 运行稳定性保障：允许随意修改名称类别会导致大量隐性bug，比如不小心覆盖了常用函数的定义，后续代码的执行逻辑会完全失控，排查成本极高。
• 性能考虑：固定nameclass可以让解释器做大量执行优化，动态修改会大幅降低运行效率。

规避方法 #

• 如果你确实需要复用该名称绑定新类别的对象，先执行系统命令)erase 名称清除原有绑定，再重新赋值即可：

  )erase f
  f←10 ⍝ 不会再报错
  

• 如果是命名冲突导致的误操作，直接更换不冲突的变量名即可，比如函数命名为add，对应存储计算结果的变量命名为add_val，避免重名。
• 自定义函数内部的变量建议做局部声明，避免和全局同名不同类别的对象冲突：

  ∇ res←func param
  ;f ⍝ 声明f为局部变量，不会和全局的f函数冲突
    f←param×2
    res←f+1
  ∇
  

• 使用+←等修改赋值操作前，确认左值是已经定义过的普通变量，不要对函数、操作符使用修改赋值。

内容的提问来源于stack exchange，提问作者Adám