It looks my proposal is almost a duplicate of TNDR. If I understand correctly,
TNDR still uses a global function scope with some sort of Ad-Hoc, while I
suggested that you can create a function which scope is local to a specified
type, meaning - function is in scope only if
"someLeftHandExpressionReturnsNeededType.access"
The name "access" is completely free for a global scope decalaration and it is
localy defined in cassess if there is a correct type on left side.
> Hello Evgenij,
>
> the TDNR proposal seems related to yours:
>
>
> http://hackage.haskell.org/trac/haskell-
prime/wiki/TypeDirectedNameResolut
> ion
>
> It would be useful to highlight and motivate the differences to help
> others judge your proposal.
>
> Cheers,
> Sebastian
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
