我不确定我是否正确解决了这个问题。 你能救我吗？
fun y z x -> x [z] y;;
这是我的想法：
fun 'a -> 'b -> 'c -> ....
现在，在＆gt;的右侧应保留以列表x作为参数的函数[z]，然后将y作为参数。好？
那么x的类型是: 'b list -> 'a -> 'c好吗？
因此它成为：'a -> 'b -> ('b list -> 'a -> 'c) ->然后我只需要添加x [z] y 'c的评估结果，最后得到：
'a -> 'b -> ('b list -> 'a -> 'c) -> 'c这是对的吗？
答案 0 :(得分：0)
你的理解是正确的，干得好！