functional-programming - 整数 -> ('a -> ' a)

Question

我在学习 SML 时遇到了一个问题。它要求返回类型为 int -> ('a -> 'a)。这就是我所做的:

- fn x:int => fn y => y;
val it = fn : int -> 'a -> 'a

如何使返回类型为 int -> ('a -> 'a) 其中 'a -> 'a 在括号中？任何帮助将不胜感激，我已经尝试了好几个小时，但在这里或在 Google 上搜索都找不到任何相关内容。

Answer 1

A -> B -> C 和 A -> (B -> C) 是相同的类型。类型中的 -> 运算符是右结合的。

按照惯例，类型检查器不会打印多余的括号，因此您永远不会看到为您的代码打印的 int -> ('a -> 'a)。

你已经完成了。 :-)