SML记录子集和更新

不,没有。曾经有一个更广泛的记录业务的提议( Functional record extension and row capture ),作为短暂的后继ML努力的一部分。有了这个,你可以写,例如。,

val r = {a = 1, b = 2, c = 3, d = 4, e = 5}
val {a, e, ... = s} = r
val t = {a = a+1, e = e-1, ... = s}

不幸的是,没有人在真正的编译器中实现过它。

您可以使用模式匹配提取记录的相关部分:

例子:

val question = { title = "SML record subset and update",
                 author = "Hibou57",
                 tags = ["SML"] }

val { title = t, tags = ts, ... } = question

这将标题绑定到 t 并标记到 ts .

如果您愿意,您也可以省略名称:

val { title, tags, ... } = question

这将标题绑定到 title 和标记到 tags .

就更新而言,遗憾的是,Standard ML没有一种很好的方法来更新记录,而无需明确设置每个字段。