[Haskell-cafe] Re: Re: Proposal: TypeDirectedNameResolution

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Wed Jul 29 08:54:04 EDT 2009


While the discussion centers around overload resolution
let me re-iterate a point that (e.g.,) Java does nicely:

for their "x.f", if x :: T, then  you write  .f  (unqualified)
instead of  .T.f (qualified), even if you needed qualification
to declare the type of x, as in "foo.bar.T x;"

This requires a mixture of type checking (for x)
and name resolution (for f), which probably wouldn't fit
with Haskell's current module and type system. Too bad ...

Best - Johannes.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20090729/71d523b9/signature.bin


More information about the Haskell-Cafe mailing list