[Haskell-cafe] Status of TypeDirectedNameResolution proposal?

Nicolas Pouillard nicolas.pouillard at gmail.com
Thu Nov 19 04:27:54 EST 2009

Excerpts from Twan van Laarhoven's message of Thu Nov 19 00:59:25 +0100 2009:
> Levi Greenspan wrote:
> > What's the status of the TDNR proposal [1]? Personally I think it is a
> > very good idea and I'd like to see it in Haskell'/GHC rather sooner
> > than later. Working around the limitations of the current record
> > system is one of my biggest pain points in Haskell and TDNR would be a
> > major improvement. Thus I wonder if someone is actively working on
> > this proposal?
> 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)".

Nicolas Pouillard

More information about the Haskell-Cafe mailing list