list - 记录列表上的 SML 功能

Question

我正在尝试声明一个函数，该函数将元组内的记录列表作为参数，但语法并不像我希望的那样直观。

这是我正在尝试做的事情:

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

Answer 1

模式匹配需要将记录字段绑定(bind)到某些值，因此您必须使用显式记录语法。所以，

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 *)