OCaml中的嵌套函数及其参数

要更正代码,以下是正确工作的方法:

let to_comb sentence =
  let rec cleanup s = match s with
    | [] -> []
    | ""::tail -> cleanup tail
    | hd::tail -> hd::cleanup tail in
  let rec to_string s = match s with
    | [] -> ""
    | [x] -> x
    | hd::tail -> hd ^ " " ^ to_string tail in
  to_string (cleanup s)

请注意,我只打电话 cleanup 一次,因为你只需要清理整个序列一次。然而,事实证明,使用预定义的OCaml函数可以更简单地表达这两个函数:

let to_comb sentence =
  sentence
  |> List.filter (fun s -> s <> "")
  |> String.concat " "

你几乎可以大声读出这段代码来描述它的功能。它从一个句子开始,过滤其中的空单词,然后用空格连接它们。