functional-programming - SML/NJ - 「楽しい行為(f,x) = f(x) ;」サイン

Question

follow関数で宣言します -

fun act(f,x) = f(x);

署名を作成します -

val act = fn : ('a -> 'b) * 'a -> 'b

とはどういう('a -> 'b) * 'a -> 'b意味ですか?

Answer 1

actペア（2タプル）を取る関数であることを意味します

('a -> 'b) * 'a

ここで、最初の要素は から'aへの関数'bであり、2 番目の要素は 型のものです'a。
タイプのものを返します'b。