如果你把f2 = map
,你IMMED iately去的第一步,你想出来的:
f2 (*) [1, 2, 3, 4] =
map (*) [1, 2, 3, 4] =
[(1 *), (2 *), (3 *), (4 *)]
现在给出的倍增器功能的这份名单中,我们需要
f1 [g1, g2, ..., gn] x =
[g1 x, g2 x, ..., gn x]
从那以后,我们可以把它在f2 (*) [1..4]
得到
f1 [(1 *), (2 *), (3 *), (4 *)] 5 =
[1 * 5, 2 * 5, 3 * 5, 4 * 5] =
[5, 10, 15, 20]
这就是你所追求的。
如果你看一下f1
,它看起来几乎像一个map
,除了参数是flip
PED:
f1 = \gs x -> map h gs
现在我们只需要弄清楚什么是h
。 h
需要是一个像(2 *)
这样的函数,并给出将该函数应用于5
的结果;即h = \g -> g 5
。
全部放在一起,我们得到
let f2 = map
f1 = \gs x -> map (\g -> g x) gs
in f1 (f2 (*) [1, 2, 3, 4]) 5
我说你应该用'F1 GN = gn'然后写F2,使得'F2(+)[1..4] 5 =启动= [5,10,15,20]' – Ingo
是的,'f2 =地图'听起来像个好主意。 – Bergi