默写 `4 : '$ x (<") y'`

Question

如何默写frame函数？ （来自“学习 J”第 7 章）

我正在使用 Ch 8 中的 f x g y = x f@:g y 组合方案，但它不起作用。我的猜测是因为<" 没有自然排名？

x=.1
y=.i.2 3 4
f=.$
g=.<"

frame_e=.4 :'f x g y'
frame_t=.f@:g
x frame_e y         NB. -> 2 3, which is the x-frame of y
x frame_t y         NB. -> domain error

NB. No natural rank
g b.0               NB. -> syntax error
0 g b.0             NB. -> 0 0 0

我确认该模式与其他功能一样正常工作。

x=.1
y=.i.2 3 4
f=.+/
g=.*

f x g y             NB. -> equiv of 12+2*i.3 4
x f@:g y            NB. -> same

Answer 1

默认情况下，我会使用

   framet=. {. $
   2 framet i. 2 3 4
2 3

但这并没有真正触及你问题的根源，是吗？

问题实际上是g 的定义方式：

g=.<"

这不会使g 成为动词，而是副词。它确实使用显式定义中的x 来创建动词，但它需要在使用该动词来评估y 之前执行此操作。据我所知，J 不允许您分阶段执行这些过程。正如您所见，当 f 和 g 实际上是动词时，该模式确实有效。

我觉得隐性编程很优雅，但在某些事情上它可能会比较慢，并且有些地方它是有限的。

希望有人能提供更好的答案，让我也可以学习。