SML 函数类型

Question

我很难理解我需要创建的某个 SML 函数的类型。

这是一个帮助函数，应该从字符串列表中返回最长的字符串。 类型应该是：(int * int -> bool) -> string list -> string

我应该如何阅读这篇文章以及如何创建一个匹配的函数？

我从以下简单代码开始：

fun helper(x,y)=x>y

但是现在我应该有这个方法来返回一个字符串列表，然后是一个字符串。但我似乎在这里遗漏了一些要点。

Answer 1

这是一个柯里化函数的签名：(int * int -> bool) -> string list -> string

• (int * int -> bool)：这是第一个参数，它是一个接收两个整数的元组并返回一个布尔值的函数。看起来像一个谓词函数。
• string list：这是第二个参数，一个字符串列表
• string：这是你的函数的结果类型。

例如，在Programming Languages（这似乎是问题的来源）的过程中，有问题的函数应该看起来有点像：

fun longest_string_helper f xs = ...

在哪里

• f 是 (int * int -> bool) 类型的函数值
• xs 是 string list 类型的列表值

当然，该函数返回一个string 值。

请注意，函数声明中的参数由空格分隔，而不是在元组模式中。这证明这是一个柯里化函数。您可以在第 3 部分的课程阅读笔记中了解这一点，在另一个闭包成语：柯里化和部分应用程序（第 11 页）下。