时间戳

首页 > 解决方案 > int -> ('a -> 'a)

functional-programming - int -> ('a -> 'a)

问题描述

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

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

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

标签： functional-programmingsmlml

解决方案

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

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

你已经完成了。:-)

推荐阅读