j - 需要帮助解析 "i.~"的含义

Question

我正在尝试了解第 1 天第 2 部分的解决方案:https://code.jsoftware.com/wiki/Essays/Advent_Of_Code#Part_2

PART2=: >: _1 i.~ +/\ 1 _1 mp '()'=/read'input'

我觉得我明白这里发生的大部分事情，但我不确定如何解释

i.~ 

部分。我知道什么是“我”。通常会，但我对这里的“~”感到困惑。我的理解是“~”将右边的参数复制到左边。但是这里我们已经有了一个“_1”，所以我不确定如何解释它的语义。

也非常感谢任何有关如何自行追踪此问题的提示。

Answer 1

_{It seems like my comments discouraged others from providing the typical official answers in answer format. So I’m reproducing them as an answer proper.}

副词 commute ~ 只是将参数翻转到它所附加的二元动词。所以 3 % 5 是五分之三，但是 3 %~ 5 是三分之五(又名 5 % 3)。

因此，在您的动词中，二元组 i. 是您所熟悉的(index of)，但是 ~使常量 _1 成为它的 right 参数，即使从文本上看，它出现在它的左边。因此，i. 正在寻找 +/\1 _1 mp … 的结果中的第一个 _1。

您可以在 NuVoc here 中找到它的拼写或在 original J Vocabulary here . NuVoc 旨在更易于访问，词汇规范。

在 NuVoc 中，它表示为 因此，x u~ y 与 y u x 相同。 Vocabulary 用等价断言 x u~ y ↔ y u x (在页面的右半部分，因为我们在这里谈论的是二元 i. 来更数学地说明它，而不是 monad)。