[Haskell-cafe] Status of TypeDirectedNameResolution proposal?

Twan van Laarhoven twanvl at gmail.com
Thu Nov 19 09:19:09 EST 2009

Nicolas Pouillard wrote:
>> The TDNR proposal really tries to do two separate things:
>>   1. Record syntax for function application.
>>      The proposal is to tread "x.f" or a variation thereof the same as "(f x)"
> It is more like "(ModuleToGuess.f x)" than "(f x)".

My point is that desugaring "x.f" to "(f x)" and treating some instances of "(f 
x)" as "(ModuleToGuess.f x)" are two separate things. In the current proposal 
these two are combined, but I see no reason to do so.

To be a bit more concrete, I would propose:

   * General Type Directed Name Resolution (GTDNR):
       For every function application "f x" in the program where "f" is a name,
       "f" is resolved based on the type of the argument "x".

Note that I am not saying that this is necessarily a good idea, it is just a 
possible alternative to the current TDNR proposal.


More information about the Haskell-Cafe mailing list