所有人!
我是Purescript初学者,在处理记录时遇到麻烦。
我有一个记录类型:
type Employee =
{ firstName :: String
, lastName :: String
, address :: String
, height :: Number
, weight :: Number
...
}
而且我只想更新此记录的一部分。假设我只想像下面的打字稿代码那样更新高度。
let a: Employee = {
...a,
height: 180
}
我如何在Purescript中实现这一目标?谢谢。
PureScript中记录更新的语法如下:
r2 = r1 { x = 42, y = "foo" }
位置:
r1
是原始记录r2
是新的,更新的记录x
和y
是记录字段以上代码段等效于以下JavaScript代码:
r2 = { ...r1, x: 42, y: "foo" }