Объявление функции SML

Question

Как объявить функцию suffixsen: string list -> string list?

Answer 1

Синтаксис для определения функции с одним аргументом в SML является:

fun functionName argumentName = functionBody 

или

fun functionName (argumentName : argumentType) = functionBody 

, если вы хотите, чтобы указать тип явно. Таким образом, чтобы определить функцию с именем suffixsen типа string list -> string list, вы можете сделать:

fun suffixsen (strings : string list) = someExpressionThatReturnsAStringList 

Редактировать в ответ на вас комментарий:

Для того, чтобы добавить «сын» в каждой строке в списке, вы должны смотреть в операторе [1] ^, который объединяет строку и map function, который выполняет операцию для каждого элемента в списке.

[1] http://www.standardml.org/Basis/string.html#SIG:STRING.^:VAL (скопировать и вставить эту ссылку в браузере - по какой-то причине я не могу получить это, чтобы быть интерактивными)

Answer 2

После объявления типов находящихся внутри скобок, объявить функцию возвращаемого типа на внешней стороне с :return-type. По крайней мере, в SMLnj. Я нашел это через пробную версию и ошибку, не могу найти для нее документацию.

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