Kurzform zum Zuweisen eines einzelnen Felds in einem Datensatz, während die restlichen Felder kopiert werden?

Angenommen, ich habe den folgenden Datensatz ADT:

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

Ich möchte eine Funktion, die einen Datensatz aufnimmt und einen Datensatz (desselben Typs) zurückgibt, bei dem alle Felder bis auf eines identische Werte wie das als Argument übergebene haben:

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

Das Obige funktioniert, aber für einen Datensatz mit mehr Feldern (z. B. 10) würde das Erstellen einer solchen Funktion viel Tippen erfordern, was ich für ziemlich unnötig halte.

Gibt es weniger langwierige Möglichkeiten, dasselbe zu tun?

Ja, es gibt eine gute Möglichkeit, Datensatzfelder zu aktualisieren. In GHCi können Sie tun -

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

Dies ist ein guter Job für Objektive :

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

test = Foo 1 2 "Hello"

Dann:

setL c "Goodbye" test

würde das Feld 'c' von 'test' an Ihrer Zeichenfolge aktualisieren.

Sie müssen keine Hilfsfunktionen definieren oder Objektive verwenden. Standard Haskell hat bereits das, was Sie brauchen. Nehmen wir das Beispiel von Don Stewart:

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

test = Foo 1 2 "Hello"

Dann können Sie einfach sagen test { c = "Goodbye" }, um einen aktualisierten Datensatz zu erhalten.