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

David Menendez zednenem at psualum.com
Fri Nov 18 01:12:22 EST 2005


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!"


More information about the Haskell-Cafe mailing list