检查相同记录类型的 2 个值之间的差异

Question

我定义了一个带有许多标签的记录类型。很多时候我需要检查这个记录类型的两个值之间的差异——看看哪些标签的内容不同。

我想没有自动的方法可以做到这一点（例如迭代），我必须一一检查不同的情况。

例如，要检查这两个值是否除了一个标签外始终具有相同的内容，目前我做的是{v0 with label1 = a_content_of_label1} = {v1 with label1 = a_content_of_label1}，在我看来并不漂亮，因为我需要自己选择a_content_of_label1。

有没有更好的方法来做到这一点？非常感谢！

Answer 1

这个呢：

v0 = {v1 with label1 = v0.label1}