Extensible records in Haskell

Keean Schupke k.schupke@ic.ac.uk
Thu, 07 Nov 2002 12:09:57 +0000

Thanks, have read the paper, however also saw the paper by Simon 
Peyton-Jones and
Mark Jones on Lightweight Extensible Records for Haskell, which I think 
Simon refered
to in an earlier post... would it not be better to have this instead?

   Keean Schupke.

Alastair Reid wrote:

>>    Actually this raises an interesting point - As far as I can see
>> you can do anything you can do with TRex, using a FiniteMap of
>> Dynamic. How is TRex different from this? Is TRex just syntactic
>> sugar for this kind of construct?
> Read the paper (on Mark Jones publications page).
> Trex is statically typed.
> You could certainly get the effect of Haskell typeclasses using a
> FiniteMap of Dynamic to store methods (this isn't too far from what
> Smalltalk does) but it wouldn't be statically typed.  Trex uses
> mechanisms close to those used to implement typeclasses to implement
> extensible records.
> -- 
> Alastair