SMLバイナリツリーリダクション機能

Question

SMLで課題があるので、少し手伝ってください。 > int型のバイナリツリーの サイズを返す -

問題はBTREE」タイプの機能btree_sizeを書くこの

のようになります。 （バイナリツリーのサイズは、バイナリツリー内の 要素の数です）。たとえば、btree_size（Node（Leaf、1、 Node（Leaf、2、Leaf）））は2を返す必要があります。関数は btree_reduce関数を使用する必要があります。

が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を取り、私の木の大きさを与えることを減らす機能を使用していますbtree_size機能を作るのですか？

Answer 1

これは宿題なので、私は直接回答をしません。 :)

次のように私は進むだろう

：

• が
• が関数の間で共通であるものを参照してください（あなたの仕様を満たしている再帰関数を書くことで）木の大きさを計算すると知り合いますbtree_reduce（またはあなたが書いた関数から抽象化されたもの）

これはもちろん多くの方法の1つです。