[Haskell-cafe] Status of TypeDirectedNameResolution proposal?
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