记录列表中的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 *)

会工作.

请注意,上面的模式匹配并不详尽,请注意空列表players和空列表privateStack:

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