[Haskell] Extensible records: Static duck typing

Barney Hilken b.hilken at ntlworld.com
Tue Feb 5 06:48:04 EST 2008

> The scoped labels paper has an interesting feature in this regard:
> labels with different names can be swapped at will, but labels having
> the same name (which is allowed) maintain their order.
> - Cale

Yes, I know. The problem is that there are TOO MANY proposals, and  
they are all fundamentally incompatible. The scoped labels idea is  
interesting, but is it useful? No-one has written enough code with ANY  
of the proposals to say what their strengths and weaknesses are.


More information about the Haskell mailing list