On 09/02/10 12:52, Stewart, Robert wrote:
David Sankel wrote: [snip]
I disagree. We have namespaces to take care of duplicate identifiers and abs is the commonly used identifier for lambda abstractions in programming contexts you might not be aware of.
I don't doubt that the name is meaningful, but it does conflict with an extremely common name which isn't necessarily even in a named namespace. Isn't there another name you could use that wouldn't have that potential for confusion and ambiguity?
How about using the names from: http://www.comlab.ox.ac.uk/richard.bird/online /BirdPaterson99DeBruijn.pdf i.e. Lam for the lambda symbol, Var for the positive number representing a arg or maybe Arg would be even better, and more like the current mpl. ?