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

Keean Schupke k.schupke at imperial.ac.uk
Mon Nov 21 12:03:01 EST 2005


You can change the project and update operators in the HList library to 
behave
in exactly this way. At the moment they are constrained to not allow 
multiple
identical labels in records. If this kind of access is considered 
useful, I can
add it to the HList distribution.

    Keean.

David Menendez wrote:

>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.)
>  
>



More information about the Haskell-Cafe mailing list