comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Ada generics
Date: Wed, 3 Jan 2007 19:09:17 -0600
Date: 2007-01-03T19:09:17-06:00	[thread overview]
Message-ID: <67adnc2Fg68OzgHYnZ2dnUVZ_rylnZ2d@megapath.net> (raw)
In-Reply-To: 1a9k0vk46bqrq.1cx6cdld0wd9f$.dlg@40tude.net

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2108 bytes --]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:1a9k0vk46bqrq.1cx6cdld0wd9f$.dlg@40tude.net...
> On Fri, 29 Dec 2006 20:25:28 -0600, Randy Brukardt wrote:
>
> > For what it's worth, Ada says that all three of these represent the same
> > identifier. That's not ideal, but it's the best that we can do without
> > dropping into the character handling mess ourselves.
> >
> > This is even more interesting when you consider that there are
alternative
> > spellings for reserved words. For instance "acce�" is identical to
"access".
> > (See 2.3(5.c/2) in the AARM for more examples). We wrestled with that
quite
> > a while before deciding that such identifiers had to be illegal
> > (2.3(5.3/2)); we didn't want them appearing in programs in place of
reserved
> > words.
>
> 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).

I would guess that you'll want some external style rules to prevent bogus
mixing of letters from different character sets. That's not any worse that
the style rules for capitalization and indentation that Gnat can enforce.

I've always limited myself to using the characters commonly available on
Windows systems (roughly 680 glyphs), and there needs to be something that
checks for use of letters that won't necessarily display well. But all of
that is outside of the language.

It should be pointed out that one of the reasons for Ada's support of
Unicode is that we had a long discussion of how to support Latin-9 (which
contains the euro symbol). Eventually, we decided that that way lies
madness - at least by using Unicode, there is only one definition to worry
about, rather than a set of them. My only regret is that we didn't find a
way to include real runtime UTF-8 support in the language: it's wasteful to
store everything as 32-bit characters.

                            Randy.







  reply	other threads:[~2007-01-04  1:09 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 [this message]
2007-01-04 10:07                                     ` Dmitry A. Kazakov
2007-01-05  1:32                                       ` Randy Brukardt
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