整数 -> ('a -> 'a)
int -> ('a -> 'a)
我在学习 SML 时遇到了一个问题。它要求 return 类型为 int -> ('a -> 'a)。这就是我所做的：
- fn x:int => fn y => y;
val it = fn : int -> 'a -> 'a
如何使 return 类型为 int -> ('a -> 'a) 其中 'a -> 'a 在括号中？任何帮助将不胜感激，我已经尝试了好几个小时，但在这里找不到任何与之相关的内容或在 Google.
上搜索
A -> B -> C 和 A -> (B -> C) 是同一类型。类型中的 -> 运算符是右结合的。
按照惯例，类型检查器不会打印多余的括号，因此您永远不会看到为您的代码打印的 int -> ('a -> 'a)。
你已经完成了。 :-)
我在学习 SML 时遇到了一个问题。它要求 return 类型为 int -> ('a -> 'a)。这就是我所做的：
- fn x:int => fn y => y;
val it = fn : int -> 'a -> 'a
如何使 return 类型为 int -> ('a -> 'a) 其中 'a -> 'a 在括号中？任何帮助将不胜感激，我已经尝试了好几个小时，但在这里找不到任何与之相关的内容或在 Google.
上搜索A -> B -> C 和 A -> (B -> C) 是同一类型。类型中的 -> 运算符是右结合的。
按照惯例，类型检查器不会打印多余的括号，因此您永远不会看到为您的代码打印的 int -> ('a -> 'a)。
你已经完成了。 :-)