[Haskell-cafe] Re: Re: Proposal: TypeDirectedNameResolution
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...
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