我试图声明一个函数，该函数将元组内的记录列表作为参数，但语法并不像我希望的那样直观。
这就是我想做的：
type Player = {id:int, privateStack:int list};
fun foo(({id, x::xs}:Player)::players, ...) = (* wrong syntax *)
(* do something *)
模式匹配需要将记录字段绑定到某些值，因此您必须使用显式记录语法。所以，
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 *)
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
