レコードリストのSML関数

Question

タプル内のレコードのリストを引数として取る関数を宣言しようとしていますが、構文は私が気に入ったほど直感的ではありません。

は、ここで私がやろうとしているものです：

type Player = {id:int, privateStack:int list}; 
fun foo(({id, x::xs}:Player)::players, ...) = (* wrong syntax *) 
    (* do something *) 

Answer 1

パターンマッチングは、明示的なレコード構文を使用する必要がありますので、いくつかの値にレコードのフィールドを結合が必要です。したがって、

fun foo(({id = id, privateStack = x::xs})::players, ...) = 
    (* do something *) 

となります。

上記のパターンマッチングが網羅されていないことに注意、privateStackためplayersと空のリストについては、空のリストの点に注意してください。どうやらあなたは、レコードのラベルを再宣言する必要があります。

fun foo([], ...) = (* do something *) 
    | foo({id = id, privateStack = []}::players, ...) = (* do something else *) 
    | foo({id = id, privateStack = x::xs}::players, ...) = (* do something else *)