Functional programming SML/NJ-该；娱乐表演（f，x）=f（x）&引用；签名

在以下功能中声明-

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

签署—

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

---

（'a->'b）*'a->'b

是什么意思？

它意味着

act

是一个需要一对（2元组）的函数

其中第一个元素是从

'a

到

'b

的函数，第二个元素是

'a

类型的对象
它返回类型为

'b

的对象

('a -> 'b) * 'a