Alanların geri kalanını kopyalarken bir kayıttaki tek bir alanı atamanın kısa yolu?

Diyelim ki aşağıdaki ADT kaydına sahibim:

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

Bir kayıt alan ve alanlardan biri hariç tümünün bağımsız değişken olarak iletilenle aynı değerlere sahip olduğu bir kayıt (aynı türden) döndüren bir işlev istiyorum, örneğin:

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

Yukarıdakiler işe yarıyor, ancak daha fazla alana sahip bir kayıt için (örneğin 10), böyle bir işlev oluşturmak, oldukça gereksiz olduğunu düşündüğüm çok sayıda yazmayı gerektirecektir.

Aynısını yapmanın daha az sıkıcı yolları var mı?

Evet, kayıt alanlarını güncellemenin güzel bir yolu var. GHCi'de şunları yapabilirsiniz -

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

Bu lensler için iyi bir iştir :

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

test = Foo 1 2 "Hello"

Sonra:

setL c "Goodbye" test

'test'in' c 'alanını dizenize günceller.

Yardımcı fonksiyonları tanımlamanıza veya lens kullanmanıza gerek yok. Standart Haskell'de ihtiyacınız olan şey zaten var. Don Stewart'ın örneğini ele alalım:

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

test = Foo 1 2 "Hello"

O zaman test { c = "Goodbye" }güncellenmiş bir kayıt almak için diyebilirsiniz .