functional-programming - SML/NJ - “有趣的行为（f，x）= f（x）；” 签名

Question

声明跟随功能 -

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

制作签名 -

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

是什么('a -> 'b) * 'a -> 'b意思？

Answer 1

这意味着这act是一个需要一对（2元组）的函数

('a -> 'b) * 'a

其中第一个元素是 from 'ato的函数'b，第二个是类型的东西'a。
它返回一个类型的东西'b。