OCaml列表语法错误

Question

我正在编写一个函数，以从具有相同值的列表中删除邻居。 我不明白这里的语法错误。 这就是我所拥有的：

let rec rem_dup_neighb l = 
let rec rem_dup_neighb_aux l lastseen retl = 
match l with 
 []->retl
|[()]->[()]
| (y::rest) -> if(y==lastseen) then rem_dup_neighb_aux l lastseen retl else rem_dup_neighb_aux l y (y::retl)
in rem_dup_neighb_aux l 9000 [];;

对于函数的最后一行，出现以下错误：

Error: This expression has type int but an expression was expected of type
     unit

例如，如果将[1; 2; 2; 3; 5]传递给函数，则它应返回[1; 2; 3; 5]

任何帮助表示赞赏。 谢谢

更新：函数似乎是无限循环：

let rec rem_dup_neighb l = 
let rec rem_dup_neighb_aux l lastseen retl = 
match l with []->retl
| (y::rest) -> if(y==lastseen) then rem_dup_neighb_aux l lastseen retl else rem_dup_neighb_aux l y (y::retl)
in
    match l with
    (lastseen::rest) ->  rem_dup_neighb_aux l lastseen []

更新2：并没有减少每次迭代的问题。 函数现在似乎返回[5; 3; 2]，而不是[1; 2; 3; 5]。

let rec rem_dup_neighb l = 
let rec rem_dup_neighb_aux l lastseen retl = 
match l with []->retl
| (y::rest) -> if(y==lastseen) then rem_dup_neighb_aux rest lastseen retl else rem_dup_neighb_aux rest y (y::retl)
in
    match l with
    []->[]
    |(lastseen::rest) ->  rem_dup_neighb_aux l lastseen []

更新3：

let rec rem_dup_neighb l = 
let rec rem_dup_neighb_aux l lastseen retl = 
match l with []->retl
| (y::rest) -> if(y==lastseen) then rem_dup_neighb_aux rest lastseen retl else rem_dup_neighb_aux rest y (y::retl)
in
    match l with
    []->[]
    |(lastseen::rest) ->  rem_dup_neighb_aux l lastseen [lastseen]

Answer 1

如果其中一个测试用例具有[（）]作为输入，则不能将9000用作列表开头的假值。 您需要具有与列表中相同类型的假值。 一个想法是使用列表的实际第一个值。

顺带一提，似乎您应该把比赛中的第二个案件拿出来。 对于第二种情况，我的意思是（固定代码之后）匹配长度为一的列表的模式； 即模式[_] 。 使用您的方法（使用“最后看到的”值），只有两种情况：空列表和非空列表。 您的特殊问题排在列表的开头（就像您现在所经历的那样），而不是排在最后。

更新

您可以在任何喜欢的地方进行模式匹配（ match表达式）。 所以，你可以有一个后in ：

let rem_dup_neighbors aList =
    let rec aux l lastseen retl =
        ...
    in
    match aList with
    | pattern1 -> blah blah blah
    | pattern2 -> aux blah blah

更新2

递归调用自己时，您必须传递一个较小的问题。 您的辅助功能只是不断使用相同的列表进行调用。

Answer 2

match子句[()] -> [()]接受并产生一个unit list ，在这里并没有什么意义。 您可能应该已经编写了[_] -> retl ， _是用于“匹配任何内容”的匹配语法。