以下代码片段来自官方的OCaml :| a :: (b :: _ as t) -> if a = b then compress t elsea :: compress tval compress : 'a list -> 'a list = <fun>
上面的函数用连续的、重复的元素“压缩”我知道smaller是一个变量,或者是
我需要修改一个OCaml函数: let rec helper (seen,rest) =
match rest withl,并返回删除了所有重复项的列表。failwith "to be written"部分是我编写代码的地方。我知道助手函数是如何工作的,但我在理解这部分助手(seen',rest')时遇到了问题。我不太确定这个