本文是从 A Programming Idiom You've Never Heard Of 这篇文章翻译而来。

下面是一系列的动作：

从小屋里拿出耙子，用它把院子里的树叶堆起来，然后把耙子放回小屋。

飞到西雅图，看风景，然后飞回。

把钥匙插进钥匙孔，打开，然后取出钥匙。

点亮你的手机，查看时间，然后把它置回睡眠状态。

看到这些模式没？你做一种事情，然后做另外一种事情，然后又撤销你做的第一件事情。或者用更精确的说法，这最后的一步是第一步的反向操作。一旦你认识到这种模式，你会发现它无处不在。拿起茶杯，喝一口茶，放回茶杯。同样，在程序代码里有到处都是：

打开一个文件，读取内容，关闭文件。

分配一段内存，用它做一些事情，释放它。

把内存地址内容加载到寄存器，修改它，然后存回内存。

虽然这很容易解释，也很容易举出例子，但想实现它却不那么容易。我们需要的这种操作看起来应该像这个样子：idiom(Function1, Function2)，于是我们上面说的打开文件的例子应该是idiom(Open, Read)这个样子。问题是，需要有一种程序的方法能知道这“open”的反向操作是“close”。是否有一种语言，里面的方法可以反向执行？

也许会让你惊讶：有。这就是J语言。我在这里反复唠叨的这种编程模式，实际上是J语言里的一个内置函数，叫做under。在英语里，这打开文件的例子可以说成“read under open”。

“under”在J语言里一个非常常见的用处就是计算vector的数量级。算法非常简单：平方每个元素，把值加起来，然后取平方根。哈哈，这第三步正好是第一步的反向。求和 “under” 平方。在J语言里的写法是：

mag =: +/&.:*:

+/ is “相加”。 这&号，点号，分号序列就是“under”。*:就是“平方”。