On 5/31/07, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote:
Polymorphic extensible records with subtyping are already expressible
in Haskell. There is nothing needs to be added:
http://homepages.cwi.nl/~ralf/HList/
http://homepages.cwi.nl/~ralf/OOHaskell/
The last time I tried this code, I reported to haskell-cafe that
OOHaskell does not work when compiled as a library (at least under
GHC). For some reason the code that uses OOHaskell had to be compiled
along side it. Is this now fixed? If so, could it be available via
hackage as a library for people to use? I can't tell if it's only
meant as proof of concept or for actual use. But, your response makes
me think it is intended for actual use if people would like to do that
(hence my interest in getting the code into hackage).
Thanks,
Jason
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
