什么构成“兼容形状”？ J 动词的数组参数？

Question

我正在学习（并且让我大吃一惊）J，并阅读学习J。我注意到我学习的许多（所有？）动词的论点都非常灵活。我可以执行传统的 4 - 2，也可以将其与列表一起使用，例如 4 5 - 3 4，甚至可以执行 3 4 5 - 1< /code> 似乎将运算符的右侧“提升”为数组，即使我只是给了它一个标量。

我认为后一种行为已被 ch 中的这一行所涵盖。上述文字2：

因此， = 的两个参数必须具有相同的形状，（或者在 至少，如 Y=2 的示例，兼容形状）。否则一个 错误结果。

事实上，3 4 5 - 2 3 是一个错误。 “兼容形状”的技术定义是什么？它是像“相同的形状或标量”一样简单，还是还有更多内容？

Answer 1

从词典页面 B.动词：

协议。在短语 pv q 中，v 的参数必须在
感觉一帧必须是另一帧的前缀

因此以下内容都将起作用

  (i. 2 3) * (i. 2 3 4)     NB. frame of left arg is prefix of the right arg
  (i. 2) * (i. 2 3 4)       NB. frame of left arg is prefix of the right arg
  (i. 2 3 4) * (i. 2 3)     NB. frame of right arg is prefix of the left arg

有关框架的正式定义请参阅词典页面A.名词

我推荐针对 C 程序员的 J 的这一部分< /a> 作为对这些概念的彻底覆盖。