[Haskell-cafe] Records (was Re: [Haskell] Improvements to GHC)
zednenem at psualum.com
Fri Nov 18 01:12:22 EST 2005
Chris Kuklewicz writes:
> Would the record system describe at
> also be convertable "into System Fw, GHC's existing, strongly-typeed
> intermediate language." ?
Probably. Daan's current implementation uses MLF, which I believe is
system F implemented for ML.
(We're talking about the system in Daan Leijen's paper, "Extensible
Records With Scoped Labels". Good stuff.)
David Menendez <zednenem at psualum.com> | "In this house, we obey the laws
<http://www.eyrie.org/~zednenem> | of thermodynamics!"
More information about the Haskell-Cafe