Extensible records in Haskell
Thu, 07 Nov 2002 12:09:57 +0000
Thanks, have read the paper, however also saw the paper by Simon
Mark Jones on Lightweight Extensible Records for Haskell, which I think
to in an earlier post... would it not be better to have this instead?
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.