Cách tốc ký để gán một trường duy nhất trong một bản ghi, trong khi sao chép các trường còn lại?

Giả sử tôi có bản ghi ADT sau:

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

Tôi muốn một hàm lấy một bản ghi và trả về một bản ghi (cùng loại) trong đó tất cả trừ một trong các trường có các giá trị giống hệt với một được truyền dưới dạng đối số, như vậy:

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

Các công việc trên, nhưng đối với một bản ghi có nhiều trường hơn (giả sử 10), việc tạo một hàm như vậy sẽ đòi hỏi rất nhiều cách gõ mà tôi cảm thấy là không cần thiết.

Có cách nào ít tẻ nhạt hơn để làm như vậy?

Vâng, có một cách tốt đẹp để cập nhật các trường bản ghi. Trong GHCi bạn có thể làm -

> 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" }

Đây là một công việc tốt cho ống kính :

data Foo = Foo { a :: Int, b :: Int , c :: String }

test = Foo 1 2 "Hello"

Sau đó:

setL c "Goodbye" test

sẽ cập nhật trường 'c' của 'test' vào chuỗi của bạn.

Bạn không cần xác định chức năng phụ trợ hoặc sử dụng ống kính. Tiêu chuẩn Haskell đã có những gì bạn cần. Hãy lấy ví dụ của Don Stewart:

data Foo = Foo { a :: Int, b :: Int , c :: String }

test = Foo 1 2 "Hello"

Sau đó, bạn chỉ có thể nói test { c = "Goodbye" }để có được một bản ghi cập nhật.