[Haskell-cafe] Status of TypeDirectedNameResolution proposal?

Daniel Fischer daniel.is.fischer at web.de
Tue Nov 17 10:52:17 EST 2009

Am Dienstag 17 November 2009 15:36:52 schrieb Levi Greenspan:
> As pointed out by others one may choose a different string instead of
> "." like "->"  if this makes the implementation of TDNR feasible.

Or, if both of these strings would make the implementation awkward, one can choose a 
different but similar, "~>", "-->" (to annoy bad syntax highlighters 8-)), which is 
neither special in Haskell syntax nor a prominent operator from a library.
I wouldn't lay much stress on using the same notation as other languages. After all, we 
have (/=) instead of (!=) and it works.

> But some mechanism to have some sort of scoped record selectors or TDNR is
> needed in my opinion.

I haven't needed the feature yet, but I think it would be A Good Thing™ to have it.

More information about the Haskell-Cafe mailing list