[Haskell] Proposal: Allow "\=" for field update in record update syntax

Keean Schupke 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 mailing list