OCaml中多路树的最大值

Question

我是一名IT学生,也是OCaml的新手

最近,在考试中我找到了这个练习.

给定:键入'a tree =树'a''树列表

定义一个函数mtree:'a tree - >'a,它返回多路树中所有节点的最大值,遵循OCaml中的通常顺序关系(<=)

我下面会做这样的事情,当然,这是行不通的.

let rec mtree (Tree (r, sub)) =
        let max_node (Tree(a, l1)) (Tree(b, l2)) =
            if a >= b then (Tree(a, l1)) else (Tree(b, l2)) in
        List.fold_left max_node r sub;;

在阅读完答案之后,我发布了固定代码.

let rec mtree (Tree(r,sub)) =
    let max_node (Tree(a, l1)) (Tree(b, l2)) =
        if a >= b then a else b in
    List.fold_left (max_node) r (List.map mtree sub);;

这个想法是相同的,折叠列表比较使用我的本地函数的节点,并通过在连续级别的节点列表上调用函数本身来遍历树.

但是仍然无法正常工作.现在抱怨fold_left部分中的max_node.

Error: This expression has type 'a tree -> 'a tree -> 'a
       but an expression was expected of type 'a tree -> 'a tree -> 'a tree

在这里,我肯定迷失了,因为我无法理解为什么它会期望返回一棵树

Answer 1

这段代码非常可信（恕我直言）。缺少的关键是它不会遍历子树的子树。请注意，您将函数定义为递归函数（这是非常合理的），但它从不调用自身。

另一个需要指出的问题是，问题陈述要求树中的“值”，但您的代码返回整个树节点。