[Haskell] Proposal: Allow "\=" for field update in record update
k.schupke at imperial.ac.uk
Thu Feb 24 09:01:47 EST 2005
Having looked at the translation on page 10 of Daan's paper, I can see
no advantage in this
encoding, nor does it look like it supports higher ranked types in any
way... (Infact it has the
disadvantage of requiring a class per record, whereas the records in the
HList paper require
only a class per function).
class Name r a | r -> a where
get_name :: r -> a
set_name :: r -> a -> r
Perhaps you can explain how this does support higher ranked fields?
More information about the Haskell