你从未听说过的一种编程方式

jopen 10年前
     <p>本文是从 <a href="/misc/goto?guid=4958327314176108977" target="_blank">A Programming Idiom You've Never Heard Of</a> 这篇文章翻译而来。</p>    <hr />    <p>下面是一系列的动作:</p>    <blockquote>     <p>从小屋里拿出耙子,用它把院子里的树叶堆起来,然后把耙子放回小屋。</p>     <p>飞到西雅图,看风景,然后飞回。</p>     <p>把钥匙插进钥匙孔,打开,然后取出钥匙。</p>     <p>点亮你的手机,查看时间,然后把它置回睡眠状态。</p>    </blockquote>    <p>看到这些模式没?你做一种事情,然后做另外一种事情,然后又撤销你做的第一件事情。或者用更精确的说法,这最后的一步是第一步的反向操作。一旦你认识到这种模式,你会发现它无处不在。拿起茶杯,喝一口茶,放回茶杯。同样,在程序代码里有到处都是:</p>    <blockquote>     <p>打开一个文件,读取内容,关闭文件。</p>     <p>分配一段内存,用它做一些事情,释放它。</p>     <p>把内存地址内容加载到寄存器,修改它,然后存回内存。</p>    </blockquote>    <p>虽然这很容易解释,也很容易举出例子,但想实现它却不那么容易。我们需要的这种操作看起来应该像这个样子:<tt>idiom(Function1, Function2)</tt>,于是我们上面说的打开文件的例子应该是<tt>idiom(Open, Read)</tt>这个样子。问题是,需要有一种程序的方法能知道这“open”的反向操作是“close”。是否有一种语言,里面的方法可以反向执行?</p>    <p>也许会让你惊讶:有。这就是<a href="/misc/goto?guid=4958327314976467319" target="_blank">J</a>语言。我在这里反复唠叨的这种编程模式,实际上是J语言里的一个内置函数,叫做<em>under</em>。在英语里,这打开文件的例子可以说成“read under open”。</p>    <p>“under”在J语言里一个非常常见的用处就是计算vector的数量级。算法非常简单:平方每个元素,把值加起来,然后取平方根。哈哈,这第三步正好是第一步的反向。求和 “under” 平方。在J语言里的写法是:</p>    <blockquote>     <p>mag =: +/&.:*:</p>    </blockquote>    <p><tt>+/</tt> is “相加”。 这&号,点号,分号序列就是“under”。<tt>*:</tt>就是“平方”。<br /> <br /> 本文转载自: 外刊IT评论 <a href="/misc/goto?guid=4958183272158702965" rel="nofollow" target="_blank">http://www.aqee.net/</a> </p>