Hello
Here is a proposal to allow polymorphic record update for the existing
record system. I think it makes sense if the current record system is
kept.
Given a record like:
data Foo a = Foo { bar :: a }
it would be nice to be able to update it like:
f = Foo { bar = 'a' }
g = f { bar = False }
constructing the new record by hand is quite tedious for records
with many fields and one ends up writing helper functions to
do this.
- Einar Karttunen