OCaml：自适应递归函数

Question

我已经整天都在这个问题上了。 所以，我有一个像这样的递归函数：

let rec rewriteTree tree =
      rewriteElement tree c;
      List.iter rewriteTree tree.subtree in
    rewriteTree myTree

函数rewriteElement返回unit（），因此我对函数rewriteTree没有问题。 但是，我更改了代码，函数rewriteElement现在返回一个布尔值，我需要它返回一个布尔值列表，其中包含树中所有节点的所有布尔值。 最好的方法是什么？ 我尝试使用List.map，但是编译器抛出该函数返回（布尔列表列表）的情况。 谢谢。

Answer 1

尝试这个：

let rec rewriteTree tree =
  rewriteElement tree c ::
    List.concat (List.map rewriteTree tree.subtree) in
rewriteTree myTree