Скорочений спосіб призначення одного поля в записі, а копіювання решти полів?

Скажімо, у мене є такий запис ADT:

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

Я хочу функцію, яка бере запис і повертає запис (того ж типу), де всі поля, окрім одного, мають однакові значення з тим, що передано як аргумент, наприклад:

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

буде оновлено поле "c" "test" для вашої рядка.

Вам не потрібно визначати допоміжні функції або використовувати об’єктиви. Стандартний Haskell вже має те, що вам потрібно. Візьмемо для прикладу Дон Стюарт:

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

test = Foo 1 2 "Hello"

Тоді ви можете просто сказати, test { c = "Goodbye" }щоб отримати оновлений запис.