int - >('a - >'a)

Question

我有一个问题,我遇到了研究SML.它要求返回类型为int - >('a - >'a).这就是我所做的:

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

如何使返回类型为int - >('a - >'a)其中'a - >'a在括号中？任何帮助将不胜感激,我一直在尝试弄清楚它几个小时,在这里找不到任何相关的东西或在谷歌上搜索.

Answer 1

A -> B -> C并且A -> (B -> C)是相同的类型.->类型中的运算符是右关联的.

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

你已经完成了.:-)