I briefly read about Hugs record system Trex, and at first sight this was really nice! I know this question was asked a long time ago already, but are there any plans to add this extension to GHC? What about the other compilers, like JHC, UHC, etc? Is it possible to emulate Trex (lots of other record systems exist), *and* get the same easy to understand errors? What were the problems with Trex (if any)? Thanks, Peter Verswyvelen
On Thu, Oct 08, 2009 at 11:13:42PM +0200, Peter Verswyvelen wrote:
I briefly read about Hugs record system Trex, and at first sight this was really nice!
I know this question was asked a long time ago already, but are there any plans to add this extension to GHC?
What about the other compilers, like JHC, UHC, etc?
The most likely record system to be implemented by jhc would be a variant of Daan Leijen's Extensible records with scoped labels[1]. However, it is not something I will likely get to any time soon. (contributors welcome of course!) [1] http://www.cs.ioc.ee/tfp-icfp-gpce05/tfp-proc/21num.pdf -- John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/
participants (2)
-
John Meacham -
Peter Verswyvelen