sml - 関数 SML を宣言する

Question

関数 suffixsen を宣言する方法: string list -> string list ?

Answer 1

かっこ内で型を宣言した後、外側で関数の戻り値の型を で宣言します:return-type。少なくとも SMLnj では。試行錯誤でこれを見つけましたが、ドキュメントが見つかりません。

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

Answer 2

sml で 1 つの引数を持つ関数を定義する構文は次のとおりです。

fun functionName argumentName = functionBody

また

fun functionName (argumentName : argumentType) = functionBody

タイプを明示的に指定したい場合。したがってsuffixsen、 type という名前の関数を定義するには、次のstring list -> string listようにします。

fun suffixsen (strings : string list) = someExpressionThatReturnsAStringList

コメントに応じて編集します。

リスト内の各文字列に「son」を追加するには、^文字列を連結する operator[1] と、リスト内の各要素に対して操作を実行するmap関数を確認する必要があります。

[1] http://www.standardml.org/Basis/string.html#SIG:STRING.^:VAL(このリンクをコピーしてブラウザに貼り付けます - 何らかの理由でこれをクリック可能にできません)