comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP>
Subject: Re: syntaxic exploration
Date: Fri, 22 Dec 2017 21:15:18 -0000 (UTC)
Date: 2017-12-22T21:15:18+00:00	[thread overview]
Message-ID: <p1jsl6$1b4$1@dont-email.me> (raw)
In-Reply-To: f7dbd7da-bbd6-4f20-b048-966e626477dc@googlegroups.com

On 2017-12-22, Robert Eachus <rieachus@comcast.net> wrote:
> On Thursday, December 21, 2017 at 11:24:54 AM UTC-5, Jeffrey R. Carter wrote:
>> On 12/21/2017 08:21 AM, Randy Brukardt wrote:
>> > 
>> > Ada has no good way to write an empty array. I usually use (1 .. 0 => <>)
>> > for that, but nothing is really satisfying.
>> 
>> Except perhaps the empty array aggregate
>> 
>> ""
>> 
>> (only for string types, alas).
>
> Is it a reasonable language improvement request to allow "" for other
> empty arrays?


No. That would be too confusing IMHO because it would initially appear
to be a string type to anyone unfamiliar with that part of the code
and that just feels _way_ wrong.

>  Another possibility is the reserved word null.  If that were
> allowed I might even use it in place of "" for strings, because that is not
> different enough from '"' when reading, depending on the type face used. 
>

null is an interesting option for the empty array. However, for your
strings idea, would people unfamiliar with the code and this new usage
of null read this new usage as a null pointer instead of an empty string ?
That could be confusing.

The 1..0 notation is ugly but anyone who sees it knows instantly
exactly what the original programmer meant. Any cleaner replacement
should instantly come across as the empty array without the
possibility of confusion because someone reused Ada syntax
for this in an ambiguous way.

Simon.

-- 
Simon Clubley, clubley@remove_me.eisner.decus.org-Earth.UFP
Microsoft: Bringing you 1980s technology to a 21st century world


  reply	other threads:[~2017-12-22 21:15 UTC|newest]

Thread overview: 49+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-12-20 17:28 syntaxic exploration Mehdi Saada
2017-12-20 17:32 ` Mehdi Saada
2017-12-20 20:08   ` Niklas Holsti
2017-12-20 22:18     ` Mehdi Saada
2017-12-20 22:45       ` Mehdi Saada
2017-12-21  7:24         ` Randy Brukardt
2017-12-21  7:44           ` Niklas Holsti
2017-12-21  7:21   ` Randy Brukardt
2017-12-21 16:24     ` Jeffrey R. Carter
2017-12-22  5:01       ` Robert Eachus
2017-12-22 21:15         ` Simon Clubley [this message]
2017-12-22 22:11           ` Niklas Holsti
2017-12-22 22:51             ` Dmitry A. Kazakov
2017-12-23  7:15               ` Niklas Holsti
2017-12-23 16:23             ` Jeffrey R. Carter
2017-12-24  3:37               ` Robert Eachus
2017-12-24 13:39                 ` Niklas Holsti
2017-12-24 13:32               ` Niklas Holsti
2017-12-25 13:40                 ` Jeffrey R. Carter
2017-12-25 14:42                   ` Mehdi Saada
2017-12-25 17:03                     ` Dmitry A. Kazakov
2017-12-25 18:27                     ` Niklas Holsti
2017-12-25 20:12                     ` Jacob Sparre Andersen
2017-12-20 20:05 ` Niklas Holsti
2017-12-20 22:48 ` Mehdi Saada
2017-12-20 23:39   ` Mehdi Saada
2017-12-21  0:35 ` Mehdi Saada
2017-12-21  7:18 ` Randy Brukardt
2017-12-21 19:23   ` G. B.
2017-12-21 23:46   ` bj.mooremr
2017-12-22 23:45     ` Randy Brukardt
2017-12-22 13:31 ` Mehdi Saada
2017-12-22 18:00   ` Mehdi Saada
2017-12-22 18:27   ` Niklas Holsti
2017-12-22 20:25     ` Mehdi Saada
2017-12-22 22:33       ` Niklas Holsti
2017-12-23  1:47 ` Mehdi Saada
2017-12-23  7:17   ` Niklas Holsti
2017-12-23 11:23     ` Mehdi Saada
2017-12-23 11:39       ` Mehdi Saada
2017-12-23 12:09         ` Niklas Holsti
2017-12-23 12:12 ` Mehdi Saada
2017-12-23 12:16   ` Mehdi Saada
2017-12-23 13:04     ` Niklas Holsti
2017-12-23 14:02       ` Mehdi Saada
2017-12-23 14:46         ` Mehdi Saada
2017-12-23 15:03           ` Mehdi Saada
2017-12-23 22:11             ` Niklas Holsti
2017-12-24  0:55               ` Mehdi Saada
replies disabled

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