List.fold_left“这个表达式有一个类型'一个列表，但是一个表达式需要类型'b *'c *'d

Question

真的很困惑这个，我通常使用fold函数没有问题，但现在我不能似乎使它出于某种原因，我无法找到原因。

L.fold_left(fun (a,b,c) acc -> if !x != 9 then (x:= !x+1; (a,b,c)::acc)else acc) list[];; 

我也尝试只是在做1个:: ACC，但它也不行。

Answer 1

只是照顾中的奥德参数：fold_left期望一个函数，其中第一个参数是累加器（...有点累加器是“左”参数），而fold_right期望一个函数，其中累加器是第二个（...累加器打开正确的）。
因此，只需编写fun acc (a,b,c)而不是fun (a,b,c) acc，并且您的代码将被编译。