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?

   Keean.

_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to