SML二叉树reduce函数

Question

我收到了 SML 的作业，并且需要一些入门帮助。

问题是这样的

编写一个类型为“a btree ->”的函数 btree_size返回 int 二叉树的大小。 （二叉树的大小是 二叉树中的元素）。例如，btree_size(Node(Leaf, 1, Node (Leaf, 2, Leaf))) 应返回 2。您的函数必须使用 提供btree_reduce函数，最多3行。

btree_reduce 函数是这样的

(* A reduction function. *)
     (* btree_reduce : ('b * 'a * 'b -> 'b) -> 'b -> 'a tree -> 'b) *)
    fun btree_reduce f b bt =
      case bt of
      Leaf => b
      | Node (l, x, r) => f (btree_reduce f b l, x, btree_reduce f b r)

我到底如何创建一个 btree_size 函数来获取 btree 并使用 reduce 函数来给出树的大小？

Answer 1

由于这是一项作业，我不会直接给出答案。 :)

我将按照以下步骤进行：

• 熟悉计算树的大小（通过编写符合您规范的递归函数），
• 看看您编写的函数和 btree_reduce 之间有什么共同点（或者，可以从您编写的函数）

当然，这是众多方法之一。