int -> ('a -> 'a)

【问题标题】：int -> ('a -> 'a)int -> ('a -> 'a)
【发布时间】：2019-05-06 20:51:38
【问题描述】：

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

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

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

【问题讨论】：

【解决方案1】：

A -> B -> C 和 A -> (B -> C) 是同一类型。类型中的-> 运算符是右关联的。

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

你已经完成了。 :-)

【讨论】：