Cara singkat untuk menetapkan satu bidang dalam catatan, sambil menyalin bidang lainnya?

Katakanlah saya memiliki catatan ADT berikut:

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

Saya ingin fungsi yang mengambil record dan mengembalikan record (dengan tipe yang sama) di mana semua kecuali satu bidang memiliki nilai yang identik dengan yang diteruskan sebagai argumen, seperti:

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

Cara di atas berfungsi, tetapi untuk rekaman dengan lebih banyak bidang (katakanlah 10), membuat fungsi seperti itu akan memerlukan banyak pengetikan yang menurut saya tidak terlalu diperlukan.

Apakah ada cara yang tidak terlalu membosankan untuk melakukan hal yang sama?

Ya, ada cara yang bagus untuk memperbarui bidang rekaman. Di GHCi Anda dapat melakukan -

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

Ini adalah pekerjaan yang bagus untuk lensa :

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

test = Foo 1 2 "Hello"

Kemudian:

setL c "Goodbye" test

akan memperbarui bidang 'c' dari 'test' ke string Anda.

Anda tidak perlu menentukan fungsi tambahan atau menggunakan lensa. Standar Haskell sudah memiliki apa yang Anda butuhkan. Mari kita ambil contoh oleh Don Stewart:

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

test = Foo 1 2 "Hello"

Kemudian Anda bisa mengatakan test { c = "Goodbye" }untuk mendapatkan catatan yang diperbarui.