>>>>> "Josiah" == Josiah Carlson <[EMAIL PROTECTED]> writes:
Josiah> Indeed, they are similar, but_ different_ in my font as
Josiah> well. The trick is that the glyphs are not different in
Josiah> the case of certain greek or cyrillic letters. They don't
Josiah> just /look/ similar they /are identical/.
But these problems are going to arise in _any_ multilingual context;
it's not at all specific to identifiers. It's just that computers
lexing identifiers are kinda picky about those things compared to
humans. I think you can reasonably classify it as a new breed of
typo, and develop UIs to deal with it in that way.
To handle cases where glyphs are (nearly) identical, UIs that visually
flag "foreign" characters, at least in contexts where cross-block
punning is unacceptable, will be developed, and users will learn to
pay attention to those flags.
--
School of Systems and Information Engineering http://turnbull.sk.tsukuba.ac.jp
University of Tsukuba Tennodai 1-1-1 Tsukuba 305-8573 JAPAN
Ask not how you can "do" free software business;
ask what your business can "do for" free software.
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
http://mail.python.org/mailman/listinfo/python-dev
Unsubscribe:
http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
