SML 记录子集和更新

Question

是否有更直接的方法（并且由于涉及的维护和编辑量而不太容易出错），以实现与以下相同的目的，即：1）在给定名称的情况下获取记录元素的子集感兴趣的成员列表，2) 并使用子集记录的名称从子集记录更新记录？

val r = {a = 1, b = 2, c = 3, d = 4, e = 5}
val s = {b = #b r, c = #c r, d = #d r}
val r = {a = #a r, b = #b s, c = #c s, d = #d s, e = #e r}

我所期望的可能是这样的：

val r = {a = 1, b = 2, c = 3, d = 4, e = 5}
val s = #(b, c, d) r
val r = r / s

正如 Sebastian Paaske Tørhol 所说，可以这样提取记录的一部分：

val {b, c, d, ...} = r

不幸的是，这不会将子集绑定到单个名称，因为作为示例，这不起作用：

val s = {b, c, d, ...} = r

Answer 1

不，没有。曾经有过更广泛的记录操作 (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}

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

Answer 2

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

例子：

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。

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