1
を使用して、F、カレー(uncurry(G))= Gを=私は2つのML機能は、私は(カレーは、(F))ML
fun curry f x y = f(x, y);
fun uncurry g (x, y) = g x y;
を持っていると私は
uncurry(curry(f)) = f
を証明したいuncurry証明したいです
と
curry(uncurry(g)) = g
私は、検索エンジンのサイトを検索し、何も私を満足していません。 このテキストの先頭にある2つの機能は明確に定義されていません。例えば、uncurry(curry(f))= fを証明するには、カレー関数(fun curry f x y = f(x、y);)を使用する必要がありますが、明確に定義されたカレーはありません。 2つのことを証明する方法は?
あなたは「明確に定義されていない」とはどういう意味ですかましたではないあなただけ。?それらの関数を定義しますか? –