[gathering-options] Arrow symbol

[Andrew Haley]

On 24/06/11 22:44, Yuval Shavit wrote:
> I personally think that using a unicode/non-ascii character would almost be
> like a cruel joke. "We'll give you a nice, concise syntax -- but you have to
> cramp your fingers and remember code points!" And relying on IDEs to fix a
> problem that shouldn't exist in the first place seems like bad policy.
> 
> I know I don't have a lot of clout in this list :-) but the unicode chars
> have been bouncing around long enough that I'd feel remiss if I didn't say
> that, as someone who's very much looking forward to lambdas in Java, my
> reaction to having to type λ would be "at least there's a pony."

I didn't expect the suggestion to be taken seriously, although I am
still a little bemused by the reluctance to move beyond the
capabilities of a teletype.  ;-)

Andrew.