Xavier Van de Woestyne

OCaml 开发者讨论列表不变性和反向构造

OCaml 编程语言上出现了一场关于列表不变性管理的讨论，特别关注构建列表后将其反转的常见做法。这种做法虽然通常是局部可控的，但可能导致 rev_append 和 rev_map 等“反转”函数的泛滥。OCaml 贡献者 Antonin Décimo 提出了一种方法，在列表类型本身中跟踪构造顺序，以维护更强的列表不变性，这是 Cargocut 集体通过其非空列表的 nel 包所探索的概念。