sml - 声明一个函数 SML

Question

如何声明函数后缀：字符串列表 -> 字符串列表？

Answer 1

在括号内声明类型后，在外部声明函数的返回类型:return-type。至少在 SMLnj 中。我通过反复试验发现了这一点，找不到它的文档。

fun suffixson (xs: string list ): string list =
    map (fn x => x ^ "son") xs

Answer 2

在 sml 中用一个参数定义函数的语法是：

fun functionName argumentName = functionBody

或者

fun functionName (argumentName : argumentType) = functionBody

如果要显式指定类型。所以要定义一个名为suffixsentype的函数string list -> string list，你可以这样做：

fun suffixsen (strings : string list) = someExpressionThatReturnsAStringList

编辑以回应您的评论：

为了将“儿子”附加到列表中的每个字符串，您应该查看^连接字符串的运算符 [1]，以及对列表中的每个元素执行操作的map函数。

[1] http://www.standardml.org/Basis/string.html#SIG:STRING.^:VAL（复制此链接并将其粘贴到您的浏览器中 - 出于某种原因我无法点击此链接）