sml - SMLで関数型を推測する方法(fun foo f=f 5;)

Question

次のように定義された foo 関数があります

fun foo f = f 5;

関数の型を推測する方法は?

Answer 1

関数でなければならないことがわかりfます。また、 を呼び出すので、 f が整数を入力として受け取ることもわかりますf 5。したがってf、 type が必要int -> 'aです。

foo次に を取りint -> 'a、 を生成し'a、yield: を生成しますfoo : (int -> 'a) -> 'a。

Answer 2

SML は、このアルゴリズムの変形を使用して型推論を行います。

http://en.wikipedia.org/wiki/Hindley%E2%80%93Milner