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

[Johannes Waldmann]

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