[Haskell-cafe] Records (was Re: [Haskell] Improvements to GHC)

[David Menendez]

Chris Kuklewicz writes:

> Would the record system describe at
> http://lambda-the-ultimate.org/node/view/1119
> 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!"