วิธีชวเลขในการกำหนดเขตข้อมูลเดียวในบันทึกในขณะที่คัดลอกเขตข้อมูลที่เหลือ?

สมมติว่าฉันมี 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' เป็นสตริงของคุณ

คุณไม่จำเป็นต้องกำหนดฟังก์ชันเสริมหรือใช้เลนส์ Standard Haskell มีสิ่งที่คุณต้องการอยู่แล้ว ลองดูตัวอย่างโดย Don Stewart:

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

test = Foo 1 2 "Hello"

จากนั้นคุณสามารถพูดtest { c = "Goodbye" }เพื่อรับบันทึกที่อัปเดต