syntax-error - OCaml : and keyword syntax error

Question

我已经编写了这个mergesort实现，如果将除法功能放在mergesort函数之外，效果很好。但是，当我尝试使除法成为mergesort的内部函数时，遇到语法错误。

我知道，对此必须有一些非常简单的解释。我看了遍整个互联网，却一无所获。

这是代码:

let mergesort list = 
  let rec sort lists acc = (
    let rec merge sublist1 sublist2 merged_list =
    match sublist1 with
      |[] -> merged_list @ sublist2
      |hd1 :: tl1 -> 
        match sublist2 with
          |[] -> merged_list @ sublist1
          |hd2 :: tl2 -> 
            if hd1 < hd2 then merge tl1 sublist2 (merged_list @ hd1::[])
            else merge sublist1 tl2 (merged_list @ hd2::[])
    in match lists with 
      |[] -> 
        (match acc with
          |[] -> []
          |hd :: [] -> hd
          |_ -> sort acc [])
      |hd :: tl -> sort (List.tl tl) ((merge (List.hd tl) hd [])::acc)  
  )
  and rec divide list list_of_lists = (
    match list with
      [] -> list_of_lists
      |hd :: tl -> divide tl ((hd :: []) :: list_of_lists)
  )
  in sort (divide list []) []
;; 

结果是:

Characters 567-570:
and rec divide list list_of_lists = (
    ^^^
Error: Syntax error

Answer 1

您只需从那里的定义中删除rec关键字。

这是因为当您使用and关键字时，实际上是在语法上重复前面的定义，在本例中为let rec。

因此，您当前的实现实际上与说let rec rec相同