编译期间 OCaml 类型不匹配

Question

看看我的代码：

let my lst p q =
  if lst = [] then
    []
  else
    let i = 0 in let res = [] in let acc=[] in
    fold_left ( fun acc h -> 
      if (not (p h) && not(q h)) then
    ((i+1), [], res)
      else if (p h && not (q h)) then
    ((i+1), (i::acc),res)
      else if (not (p h) &&  q h) then
    ((i+1), [] (acc@res))
      else
    ((i+1), [], ((i::acc)@res))) 
     (i,acc,res) lst;;

我得到了编译错误：

这个表达式的类型为 int * int list * 'a list 但是需要一个 int list 类型的表达式

你能帮帮我吗？

Answer 1

问题来自您使用折叠功能的方式。

fold_left ( fun acc h -> 
  ...
)  

关于你的累加器，这是一个三元组最好如下，

 ....
fold_left ( fun (i', acc', res') h -> 
  here replace i, acc res by i' acc' res'
)  

进一步去掉i、acc、res的定义。
直接把他们的价值观这样，

 ....
fold_left ( fun (i', acc', res') h -> 
  here replace i, acc res by i' acc' res'
)  (0, [], []) lst;;

最后fold_left的匿名函数调用，应该绑定到fold的调用之上。

.....
let helper (i, acc, res) x = 
    .....
in fold_left helper (0, [], []) lst;;