haskell - 在复制其余字段的同时分配记录中的单个字段的简写方法？

Question

假设我有以下记录 ADT:

data Foo = Bar { a :: Integer, b :: String, c :: String }

我想要一个函数，它接受一条记录并返回一条记录(相同类型)，其中除了一个字段之外的所有字段都具有与作为参数传递的字段相同的值，如下所示:

walkDuck x = Bar { a = a x, b = b x, c = lemonadeStand (a x) (b x) }

上面的方法有效，但是对于具有更多字段的记录(例如10)，创建这样的函数将需要大量的输入，我认为这是完全没有必要的。

是否有其他不那么繁琐的方法可以做到这一点？

Answer 1

是的，有一种更新记录字段的好方法。在 GHCi 中你可以做——

> data Foo = Foo { a :: Int, b :: Int, c :: String }  -- define a Foo
> let foo = Foo { a = 1, b = 2, c = "Hello" }         -- create a Foo
> let updateFoo x = x { c = "Goodbye" }               -- function to update Foos
> updateFoo foo                                       -- update the Foo
Foo {a = 1, b = 2, c = "Goodbye" }