残りのフィールドをコピーしながら、レコード内の単一のフィールドを割り当てる簡単な方法は？

次のレコードADTがあるとします。

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

次のように、レコードを取り、1つのフィールドを除くすべてのフィールドが引数として渡されたものと同一の値を持っている（同じタイプの）レコードを返す関数が必要です。

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

上記は10機能しますが、より多くのフィールド（たとえば）を持つレコードの場合、そのような関数を作成すると、多くの入力が必要になるので、かなり不要です。

同じことをする面倒な方法はありますか？

はい、レコードフィールドを更新する良い方法があります。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" }

これはレンズに最適です。

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

test = Foo 1 2 "Hello"

次に：

setL c "Goodbye" test

「test」のフィールド「c」を文字列に更新します。

補助機能を定義したり、レンズを使用したりする必要はありません。標準のHaskellにはすでに必要なものが用意されています。ドンスチュワートの例を見てみましょう。

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

test = Foo 1 2 "Hello"

次にtest { c = "Goodbye" }、更新されたレコードを取得するように言うことができます。