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

匹配子句[()] -> [()] 接受并产生一个unit list，这在此处没有任何意义。你可能应该写 [_] -> retl, _ 是“匹配任何东西”的匹配语法。

Answer 2

如果其中一个测试用例有 [()] 作为输入，那么您不能使用 9000 作为列表开头的假值。您需要具有与列表中任何内容相同类型的假值。一个想法是使用列表的实际第一个值。

作为旁注，您似乎应该在比赛中取出您的第二个案例。在第二种情况下，我的意思是（在修复代码之后）匹配长度为 1 的列表的模式；即，模式[_]。使用您的方法（使用“最后一次看到”值）只有两种情况，即空列表和非空列表。您的特殊问题出现在列表的开头（正如您现在所遇到的），而不是结尾。

更新

您可以在任何您喜欢的地方进行模式匹配（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

当递归调用自己时，你必须通过一个较小的问题。你的辅助函数只是不断地用同一个列表调用自己。