Cách viết tắt để gán một trường đơn lẻ trong một bản ghi, trong khi sao chép phần còn lại của các trường?

Question

Hãy nói rằng tôi có ADT kỷ lục sau đây:

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

Tôi muốn có một chức năng mà phải mất một kỷ lục và trả về một kỷ lục (cùng loại), nơi tất cả nhưng một trong những lĩnh vực có giá trị giống với một trôi qua như là đối số, như vậy:

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

các công trình trên, nhưng đối với một kỷ lục với nhiều lĩnh vực (nói 10), tạo ra một chức năng như vậy sẽ đòi hỏi rất nhiều cách gõ mà tôi cảm thấy là khá cần thiết.

Có cách nào ít tẻ nhạt hơn để làm giống nhau không?

Answer 1

Có, có cách hay để 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" } 

Answer 2

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

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 'thử' để bạn chuỗi.