j - 参数用法 : ti=. {.(*i.)}

Question

我正试图让我的头脑围绕J。在 easy-j.pdf(可用 here ；第 19 页)介绍中有这个钩子(Hook):

ti=.{.(*i.)}.     NB. ti=times index generator
ti 2 5            NB. Usage

我理解上一个术语:2(*i.)5 注意。 2 次 0 1 2 3 4

我可以理解/想象 }. 从参数列表中获取最后一个元素(2 5 之上)来创建 (*i​​.)5 。但是，清楚/明显的是，参数列表也以某种方式传递给 {. 以检索 2(在我目前的理解中，该参数已被 }.)?

我希望J专家能够理解这个问题。

Answer 1

ti实际上是一个单子(monad) fork ，三个尖齿都是动词。执行此操作的方式是两个外部尖齿 {.和 }.在参数 2 5 上执行结果作为中间齿的左右参数提供 (* i.) ，它本身就是一个钩子(Hook)。

在 J 中，fork 操作通常用 f 表示, g和 h代表动词和x和 y表示左右参数和 fork 的评估如下:

(f h g) y <-> (f y) h (g y) NB. <-> is a meta symbol for equivalency - not J symbols

在这种情况下 f y是{. 2 5和 g y是}. 2 5

  {. 2 5
2
   }. 2 5
5

fork 的中间叉齿始终是双叉的，因为它由两个外侧叉齿和叉叉钩的构造供给 (* i.)中间是

x (f g) y <-> x f (g y)


   2 (* i.) 5  NB. 2 * (i. 5)
0 2 4 6 8