SML：そのタイプから関数を解釈する

Question

SML（メタ言語）を初めて使用しています。 （ 'a - >' b） - >（ 'bリスト - >' c） - > 'a - >' cリスト

このタイプの関数をどのように派生させるか教えてもらえますか？私はSMLでカレー機能を理解するのに苦労しています。

Answer 1

これは

- fun f g h x = [h [g x]]; 
> val ('a, 'b, 'c) f = fn : ('a -> 'b) -> ('b list -> 'c) -> 'a -> 'c list 

は、ここで私はそれをやった方法です動作します。私たちは、だから我々は、我々は3つのカリーの引数を持つ関数をしたい知っているタイプに

('a -> 'b) -> ('b list -> 'c) -> 'a -> 'c list 

を与えられている

、最初の二つは関数であり、そして第三は何でもあります。だから我々は書く：

fun f g h x = .... 

は今、最初の引数は、xがあるタイプ'a、のようなものにとる関数であるので、我々は右側の

g x 

をしたいです。そのタイプは'bです。今hは'b listにかかるので、我々は

h [g x] 

を書くことができます。これは、タイプ'cの値を生成するが、我々はfは'c listを返すようにしたいので、私達はちょうどリストで、私たちが得ることを置く：

を

fun f g h x = [h [g x]];