Skrótowy sposób przypisania pojedynczego pola w rekordzie, podczas kopiowania pozostałych pól?

Powiedzmy, że mam następujący rekord ADT:

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

Chcę funkcji, która pobiera rekord i zwraca rekord (tego samego typu), w którym wszystkie pola oprócz jednego mają identyczne wartości, jak te przekazane jako argument, na przykład:

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

Powyższe działa, ale dla rekordu z większą liczbą pól (powiedzmy 10), stworzenie takiej funkcji wymagałoby dużo pisania, które uważam za zupełnie niepotrzebne.

Czy są jakieś mniej żmudne sposoby na zrobienie tego samego?

Tak, istnieje fajny sposób aktualizowania pól rekordów. W GHCi możesz -

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

To dobra praca dla soczewek :

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

test = Foo 1 2 "Hello"

Następnie:

setL c "Goodbye" test

zaktualizowałoby pole „c” z „test” do twojego ciągu.

Nie musisz definiować funkcji pomocniczych ani używać soczewek. Standardowy Haskell ma już to, czego potrzebujesz. Weźmy przykład Dona Stewarta:

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

test = Foo 1 2 "Hello"

Następnie możesz po prostu powiedzieć, test { c = "Goodbye" }aby uzyskać zaktualizowany rekord.