From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: Real syntax problems in Ada
Date: Tue, 28 Aug 2012 12:20:44 +0200
Date: 2012-08-28T12:20:44+02:00 [thread overview]
Message-ID: <503c9b7c$0$6572$9b4e6d93@newsspool3.arcor-online.net> (raw)
In-Reply-To: <1p5r39cusgc1n$.18nj9sytckk6$.dlg@40tude.net>
On 28.08.12 10:13, Dmitry A. Kazakov wrote:
> What are real problems with Ada syntax as opposed to the imaginary ones
> (e.g. Ada does not look like C, Forth, Elder Futhark, you name it)?
>
> My short list:
>
> 1. Too many unnecessarily reserved keywords;
I even avoid using identifiers that are reserved (in whichever
way) in other programming languages. My list of identifiers excludes
words such as "default", "fun", "sub", "otherwise", etc.
> 4. "overriding procedure Foo" instead of "procedure Foo is overriding";
There seems to be a conflict, since we can overriding a procedure with
one that "is null" or "is abstract". But we could write
procedure Foo is overriding and abstract;
> 5. "X : T := E", but "procedure X is <body>";
While plausible, I'd rather test assignment of a procedure in a field
that has a smaller percentage of doctors of science.
Seriously; the idea being similar to what is done in Lisp (or ML's etc.),
what is the proportion of all programmers (not just Lisp programmers)
who are aware of Lisp's procedure binding?
> 7. "exception" must be required in the bodies of tasks, Initialize,
> Finalize (however, this could be resolved by non-syntactic means, e.g. by
> contracted exceptions);
I'll venture a guess: AdaCore would require a closer look at least,
since GCC says it translates differently, depending on whether
or not there is an exception handler.
next prev parent reply other threads:[~2012-08-28 10:20 UTC|newest]
Thread overview: 40+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-08-28 8:13 Real syntax problems in Ada Dmitry A. Kazakov
2012-08-28 10:20 ` Georg Bauhaus [this message]
2012-08-28 10:47 ` Niklas Holsti
2012-08-28 11:33 ` J-P. Rosen
2012-08-31 13:35 ` Robert A Duff
2012-08-28 13:27 ` Vasiliy Molostov
2012-08-28 15:23 ` Dmitry A. Kazakov
2012-08-28 20:18 ` Vasiliy Molostov
2012-08-29 7:25 ` Dmitry A. Kazakov
2012-08-29 10:47 ` Vasiliy Molostov
2012-08-29 11:58 ` Dmitry A. Kazakov
2012-08-30 17:38 ` Vasiliy Molostov
2012-08-28 15:14 ` Adam Beneschan
2012-08-28 16:18 ` J-P. Rosen
2012-08-28 16:39 ` Dmitry A. Kazakov
2012-08-28 21:38 ` Randy Brukardt
2012-08-29 6:58 ` Dmitry A. Kazakov
2012-08-29 10:43 ` stefan-lucks
2012-08-29 10:58 ` stefan-lucks
2012-08-29 13:14 ` Niklas Holsti
2012-08-29 17:52 ` stefan-lucks
[not found] ` <fbps38pgcuf8fgioptt39s6u7dme1aqs7r@invalid.netcom.com>
2012-09-02 10:16 ` svaa
2012-08-29 13:33 ` Georg Bauhaus
2012-08-29 17:20 ` Jeffrey Carter
2012-08-29 17:51 ` stefan-lucks
2012-08-30 9:12 ` Georg Bauhaus
2012-08-28 21:49 ` Randy Brukardt
2012-08-28 23:09 ` Adam Beneschan
2012-08-29 7:34 ` Egil Høvik
2012-08-28 19:41 ` Florian Weimer
2012-08-28 20:53 ` Shark8
2012-08-28 21:07 ` Adam Beneschan
2012-08-28 21:25 ` Shark8
2012-08-28 22:59 ` Adam Beneschan
2012-08-29 7:06 ` Dmitry A. Kazakov
2012-08-30 21:08 ` Randy Brukardt
2012-08-30 22:06 ` sbelmont700
2012-08-30 22:34 ` Adam Beneschan
2012-08-30 22:54 ` William Findlay
2012-08-31 7:39 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox