使用 J 中的变量柯里化(Currying)函数

Question

我可以创建一个乘以 2 的函数与 2&\* ，确实 20 = (2&\*)10

我想做的是创建一个工厂函数来订购这些产品。

所以，我想要一个 monad f s.t. ( f y ) x == (y * x )

同时(\*& 2) 3作品((\*&) 2) 3没有，所以明确尝试:

(3 : 'y&*') 2产生语法错误。

我哪里出错了？

Answer 1

创建动词的动词实际上是 J 中的副词¹:

f =: 1 : 'm&*'
2 f
2&*

(2 f) 5
10

(i.10)f 5
0 5 10 15 20 25 30 35 40 45

或者默认:

f =: &*
2 f
2&*

h =: 3 :'...' 不起作用，因为它会生成动词，然后 h y 想要成为名词。

g =: 4 :'x&* y' 很好，相当于 f。

^{[1]:或连词}