你好,我是一个新手,正在学习OCaml的基本语法和尾递归。为了得到一个列表并返回包含元素和索引的重复项列表,我编写了以下代码。例如 ["b";"c";"dd";] -> [("b", 0); ("c", 1); ("dd", 2)]
下面是我编写的代码:
let enumerateWithTail lst =
let rec inside lst acc index =
match lst with
| [] -> acc
| x::xs -> inside xs (x,index)::acc (index+1)
in inside lst [] 0;;
这段代码无法运行,但是我教授的例子(我认为它们非常相似)可以工作。我的教授的代码如下:
let enumerate lst =
let rec aux lst acc =
match lst with
| [] -> acc
| x::xs -> let (eList, index) = acc
in aux xs ((x, index)::eList, index+1)
in List.rev(fst(aux lst ([], 0)))
有人能解释一下为什么我的代码会出现这个错误吗: This expression has type 'a * 'b but an expression was expected of type 'c list
提前感谢!