comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: strange behaviour of utf-8 files
Date: Mon, 18 Nov 2013 10:01:33 +0100
Date: 2013-11-18T10:01:33+01:00	[thread overview]
Message-ID: <l7bus5vigc0g$.1t5p3ok0bbpo4$.dlg@40tude.net> (raw)
In-Reply-To: 5289d1e7$0$6643$9b4e6d93@newsspool2.arcor-online.net

On Mon, 18 Nov 2013 09:38:06 +0100, Georg Bauhaus wrote:

> On 17.11.13 21:38, Dmitry A. Kazakov wrote:
>> The problem is that the common part (ASCII) is sufficient for Ada
>> programming while the varying part is subtle enough to cause difficult to
>> detect bugs in string literals. Bugs that cannot be detected by the
>> compiler.
> 
> UTF-8 can actually be so checked (and is checked by typical implementations)

1. The share of illegal UTF-8 sequences is negligible. The one among Ada
programs is even less than that.

2. Latin1 sequences are all legal.

Now, carefully observe that the program in question was dealt with as if it
were encoded in Latin1. So much for your theory.

---------------
P.S. In order to make a point you should take a set of legal [and
practical] Ada programs encoded in X and then reinterpreted in Y. Then you
compare how many of them become:

1. illegal
2. remain legal keeping the semantics
3. remain legal breaking the semantics

The last case is the worst possible scenario, which the OP experienced.

P.P.S. Also important when dealing with the issue of keeping it sane ASCII,
Ada provides a standard package that defines Latin1 characters:

Characters.Latin_1 (RM A.3.3)

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de


  reply	other threads:[~2013-11-18  9:01 UTC|newest]

Thread overview: 33+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-11-16 13:12 strange behaviour of utf-8 files Stoik
2013-11-16 13:34 ` Dmitry A. Kazakov
2013-11-16 15:09   ` Stoik
2013-11-16 15:55     ` Dmitry A. Kazakov
2013-11-17 13:32       ` Georg Bauhaus
2013-11-17 14:07         ` Dmitry A. Kazakov
2013-11-17 17:19           ` Dennis Lee Bieber
2013-11-17 18:07             ` Dmitry A. Kazakov
2013-11-17 19:05           ` Georg Bauhaus
2013-11-17 20:38             ` Dmitry A. Kazakov
2013-11-18  8:38               ` Georg Bauhaus
2013-11-18  9:01                 ` Dmitry A. Kazakov [this message]
2013-11-18 10:06                   ` Georg Bauhaus
2013-11-18  8:44               ` Georg Bauhaus
2013-11-18 10:24                 ` Dmitry A. Kazakov
2013-11-18 13:05                   ` G.B.
2013-11-18 15:25                     ` Dmitry A. Kazakov
2013-11-18 15:51                       ` G.B.
2013-11-18 17:34                         ` Dmitry A. Kazakov
2013-11-18  0:34           ` Stoik
2013-11-16 17:01     ` Georg Bauhaus
2013-11-17 10:38       ` Stoik
2013-11-16 15:12   ` Stoik
2013-11-16 15:57     ` Dmitry A. Kazakov
2013-11-17 11:12       ` Stoik
2013-11-22  1:03         ` Randy Brukardt
2013-11-22  3:02           ` Shark8
2013-11-22 11:54             ` Georg Bauhaus
2013-11-23  4:14             ` Randy Brukardt
2013-12-06  2:17               ` Georg Bauhaus
2013-11-16 20:06     ` Peter C. Chapin
2013-11-17 10:34       ` Stoik
2013-11-22  0:53       ` Randy Brukardt
replies disabled

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