comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Ada generics
Date: Thu, 4 Jan 2007 19:32:26 -0600
Date: 2007-01-04T19:32:26-06:00	[thread overview]
Message-ID: <hbydnaCQY4LhNwDYnZ2dnUVZ_qisnZ2d@megapath.net> (raw)
In-Reply-To: p6pjtv7qcu1s.vpcba1tkhwba$.dlg@40tude.net

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:p6pjtv7qcu1s.vpcba1tkhwba$.dlg@40tude.net...
> On Wed, 3 Jan 2007 19:09:17 -0600, Randy Brukardt wrote:
>
> > "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> > news:1a9k0vk46bqrq.1cx6cdld0wd9f$.dlg@40tude.net...
>
> >> Yuck. Would "acce?" with Greek beta (?) and "if" with Cyrillic ? in it
be
> >> valid identifiers?
> >
> > Sure, the upper case of a Greek beta is still a Greek beta, it's not
"SS"
> > (and doesn't look anything like "ss", either). I don't know much about
> > Cyrillic, so I don't know the answer to that (but I suspect you do).
>
> My God. A good third of the Latin and Cyrillic glyphs are same.
Practically
> all vowels are. That means that *any* reserved word of Ada can be spelt as
> a proper identifier!

Yes, and so what? There would be little ambiguity introduced by using (say)
"overriding" as an identifier, so the meaning would be obvious to the
reader, and it won't confuse the compiler (usually it's more confusing to
the writer who didn't remember that some word is reserved). There are some
of them that should be avoided, of course, but there aren't many of those.

However, you alluded to a real concern in another message. That is, it's
possible to write two different identifiers that look the same. That would
be confusing and possibly cause problems. But that's already possible
(depending on the font), so it just is a slight expansion of a problem that
already exists. And it certainly can be handled with style checkers
(identifiers containing mixes of Latin, Cyrillic, or Greek characters are
suspicious, as are identifiers differing only by the replacement of Latin
characters with Cyrillic equivalents).

If that is a real concern, just insist that all of your programs are edited
with a 1984-vintage MS-DOS editor (like I do ;-), and you won't possibly be
able to have a problem. Indeed, I expect most programmers will continue to
do this (use tools that don't support Unicode), so any new problems will be
limited.

> (and of course, there is no any chance to reverse this nightmare...)

I don't see a nightmare, but I do see a need to have decent style rules
around the writing of identifiers. That's necessary even in Ada 83, they're
just more complex now.

                                Randy.





  reply	other threads:[~2007-01-05  1:32 UTC|newest]

Thread overview: 62+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-12-21 14:14 Ada generics markww
2006-12-21 15:42 ` Dmitry A. Kazakov
2006-12-22  7:59   ` Martin Krischik
2006-12-22 16:14     ` Hyman Rosen
2006-12-22  7:59   ` Martin Krischik
2006-12-22 16:41   ` Hyman Rosen
2006-12-22 17:33     ` Markus E Leypold
2006-12-22 18:26       ` Hyman Rosen
2006-12-22 20:59         ` Markus E Leypold
2006-12-22 21:01           ` Markus E Leypold
2006-12-23 14:09           ` Marco
2006-12-25 14:23             ` Hyman Rosen
2006-12-29 14:13               ` Marco
2006-12-25 14:20           ` Hyman Rosen
2006-12-23 11:43     ` Dmitry A. Kazakov
2006-12-25 13:49       ` Hyman Rosen
2006-12-25 14:39         ` Dmitry A. Kazakov
2006-12-26  1:34           ` Hyman Rosen
2006-12-26  9:11             ` Dmitry A. Kazakov
2006-12-26 16:23               ` Hyman Rosen
2006-12-26 19:28                 ` Dmitry A. Kazakov
2006-12-27  1:44                   ` Hyman Rosen
2006-12-27  9:21                     ` Dmitry A. Kazakov
2006-12-27 19:06                       ` Hyman Rosen
2006-12-28 10:59                         ` Dmitry A. Kazakov
2006-12-28 16:29                           ` Hyman Rosen
2006-12-29 11:12                             ` Dmitry A. Kazakov
2006-12-29 14:56                               ` Hyman Rosen
2006-12-28 17:35                           ` Georg Bauhaus
2006-12-29 14:48                             ` Dmitry A. Kazakov
2006-12-29 19:39                               ` Georg Bauhaus
2006-12-30  9:58                                 ` Dmitry A. Kazakov
2006-12-30 14:53                                   ` Georg Bauhaus
2007-01-01 13:00                                     ` Dmitry A. Kazakov
2007-01-02 10:04                                       ` Georg Bauhaus
2007-01-02 11:11                                         ` Dmitry A. Kazakov
2007-01-02 12:33                                           ` Georg Bauhaus
2007-01-02 13:51                                             ` Dmitry A. Kazakov
2007-01-02 14:45                                               ` Georg Bauhaus
2007-01-03 10:10                                                 ` Dmitry A. Kazakov
2007-01-03 14:20                                                   ` Hyman Rosen
2007-01-03 14:55                                                   ` Georg Bauhaus
2007-01-04 10:15                                                     ` Dmitry A. Kazakov
2007-01-03 19:33                                           ` Alexander E. Kopilovich
2007-01-04 10:27                                             ` Dmitry A. Kazakov
2007-01-04 15:00                                               ` Alexander E. Kopilovich
2007-01-05 10:32                                                 ` Dmitry A. Kazakov
2006-12-30  2:25                               ` Randy Brukardt
2006-12-30 10:13                                 ` Dmitry A. Kazakov
2007-01-04  1:09                                   ` Randy Brukardt
2007-01-04 10:07                                     ` Dmitry A. Kazakov
2007-01-05  1:32                                       ` Randy Brukardt [this message]
2007-01-05  4:46                                         ` Randy Brukardt
2007-01-05  9:08                                         ` Jean-Pierre Rosen
2007-01-05 20:14                                         ` Georg Bauhaus
2007-01-06  0:14                                           ` Randy Brukardt
2006-12-29  0:09                           ` Randy Brukardt
2006-12-29 11:11                             ` Dmitry A. Kazakov
2006-12-30  2:40                               ` Randy Brukardt
2006-12-21 16:55 ` Hyman Rosen
2006-12-21 18:22   ` markww
2006-12-22  3:01 ` Steve
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox