如何部分更新纯脚本记录

Question

大家！

我是纯脚本初学者，在处理记录时遇到麻烦。

我有一种记录类型：

type Employee =
{ firstName :: String
, lastName :: String
, address :: String
, height :: Number
, weight :: Number
...
}

我想更新这个记录的一部分。 假设我只想更新高度，如以下打字稿代码。

let a: Employee = {
...a,
height: 180
}

如何在 Purescript 中实现这一点？ 谢谢。

Answer 1

PureScript 中记录更新的语法如下：

r2 = r1 { x = 42, y = "foo" }

哪里：

• r1为原始记录
• r2是新的更新记录
• x和y是记录字段(不一定是所有字段(

上面的代码片段等效于以下 JavaScript 代码：

r2 = { ...r1, x: 42, y: "foo" }