整数 -> ('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)
。
你已经完成了。 :-)