sml - SML でパターン マッチングを使用する無名関数を作成するにはどうすればよいですか (お楽しみのように)。

Question

私はデータ型を持っています:

datatype 'a tree = LEAF of 'a 
            | NODE of 'a tree * 'a tree;

maptree(f) と呼ばれる関数を作成したいと考えています。この関数は、ツリー上で要素ごとに f を実行できる無名関数を返します。以下が機能しないのはなぜですか？

fun maptree(f) = fn LEAF(a) => LEAF(f(a))
                  | NODE((b,c)) => NODE(f(b), f(c));

エラーが発生します：

stdIn:56.7-56.65 Error: types of rules don't agree [circularity]
earlier rule(s): 'Z tree tree -> 'Y tree tree
this rule: 'Z tree -> 'Y tree
in rule:
NODE (b,c) => NODE (f b,f c)

Answer 1

f : 'a -> 'b

そのため、ツリーには適用できません。あなたはおそらく望んでいました。

fun maptree f = fn LEAF a => LEAF (f a)
                 | NODE(b,c) => NODE (maptree f b, maptree f c);