Re: [OFFTOPIC] Re: Invoking a function from a list of functions

[Stefan Monnier]

> I'm simply suggesting that for most programmers, the beauty of reading
> a non-alphabetic programming language is not worth the hassle of
> learning to type it.  As evidence, I give you APL: every successor
> dropped the exotic character set, despite being invented since the
> advent of Unicode and bitmapped displays.  

FWIW, in the Agda language, it's very common to use non-ASCII characters
which are input (in agda-mode) via a variant of the TeX input method.
The reason this is tolerated is because those chars are already familiar
to most users because they're used on paper for the same purpose.


        Stefan