我可以指定类型是任意记录吗？

Question

我有一个类型

type alias WithStatus l =
  { l
  | status :
    Status
  }

This 使用状态字段扩展记录。

现在我想创建一个函数，它接受一条记录并赋予它特定的状态，所以我做了：

addStatus : Status -> l -> WithStatus l
addStatus status l =
  { l
  | status =
    status
  }

然而 elm 抱怨 l 可能不是一条记录。

This is not a record, so it has no fields to update!

21|>  { l
22|   | status =
23|     status
24|   }

This `l` value is a:

    l

But I need a record!

这是真的。然而，elm 也无法知道类型别名中的 l 是一条记录，它会在使用站点上进行检查。所以它在这里抱怨似乎有点奇怪。

有没有办法表达一个函数，它接受任何记录 l并添加状态？

Answer 1

有没有办法表达一个函数，它接受任何记录 l 并添加状态？

您可以

setStatus : Status -> WithStatus l -> WithStatus l
setStatus status l =
  { l | status = status }

替换现有状态，但以您希望的方式引入新字段的能力不再可能了。

它曾经是，从 0.7 到 0.16（2015 年发布），它被删除了，因为 < a href="https://elm-lang.org/news/compilers-as-assistants" rel="nofollow noreferrer">感觉实际上并非如此有用的：

简化记录

这里有一个很长的故事。简而言之，记录更新现在使用普通的等号，如下所示：

<前><代码> { 点 | x = 4 }

而不是像以前那样使用向后箭头<-。这是很多人都被绊倒的事情，即使在他们之后有很多经验，所以总的来说，我认为这会让事情变得更友好一些。当在一个案例中使用时，向后箭头也会导致奇怪的代码纹理，这样你就可以到处都有向前和向后箭头。

好吧，但是如果您热衷于语言设计，那么长话短说会很有趣！

Elm 使用非常酷的记录系统。它基于 Daan Leijen 的一篇优秀论文，可让您添加和删除记录中的字段，同时保持类型简单。我真的很喜欢这种力量与简单的结合！

我在 0.7 中添加了对此的支持，当时，我从未见过一种语言（具有真正工作的编译器）允许像这样的字段添加和删除。所以我有直觉，但没有办法获得真正的经验。我担心它可能会鼓励过于复杂的代码，所以从一开始我就非常保守，知道随着我们获得更多数据，我们可以扩展或收缩功能。

嗯，已经两年多了，结果已经出来了。几乎没有人使用过字段添加或删除。在人们确实使用它的少数情况下，它很快就变得非常疯狂。我所知道的一个真实案例记录在此处 如果你想看看，代码可以用自定义类型重写，无论如何结果都更好。

去掉添加和删除也会让Elm更容易优化（更多描述这里）。如果我们的目标平台不是 JavaScript，但也允许在 JS 中进行一些简化，则尤其如此。事实上，我们针对 0.16 运行的基准测试表明，这使得记录更新速度更快！< /p>