From: "Vasiliy Molostov" <molostoff@gmail.com>
Subject: Re: Real syntax problems in Ada
Date: Tue, 28 Aug 2012 17:27:12 +0400
Date: 2012-08-28T17:27:12+04:00 [thread overview]
Message-ID: <op.wjq6bmjmka8ora@aspire.local> (raw)
In-Reply-To: 1p5r39cusgc1n$.18nj9sytckk6$.dlg@40tude.net
Agree, some relatively new enhancements to Ada syntax look awkward.
Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> писал(а) в своём письме Tue,
28 Aug 2012 12:13:08 +0400:
> 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;
Probably yes, but these are simply to grep/calculate using public codebase.
>
> 2. "end record" instead of "end <record type name>";
Really, yes.
>
> 3. "task type" and "protected type" instead of "type T is task ...";
A first word of sentence in declaration is always an entity (procedure,
function, package, type),
it seems that "task type" breaks this way, and "type t is task" is more
eye candy.
>
> 4. "overriding procedure Foo" instead of "procedure Foo is overriding";
I agree, this keyword has a scary place (a property before its entity,
which is not usual way in Ada), breaks eye on it. It seems that this one
came from "virtual" kw from c++/java++, and the result of such incoming is
very horrific.
>
> 5. "X : T := E", but "procedure X is <body>";
Unclear what it is, but should we use the same for T, or how to express T
in this case?
>
> 6. Lack of per point notation for nD array aggregates, e.g.
> Diag : Matrix := ((1,1)=>1.0, (2,2)=>1.0, (3,3)=>1.0, others => 0.0);
Unclear, what is per point.
> 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);
Disagree. Exceptions can be disabled by configuration, while ravenscar can
allow tasking, a good example is a linux driver, where is no place in a
thread to raise an ada exception up out from inside kernel.
>
> 8. The order in which the keywords "new", "interface", "limited",
> "abstract", "tagged", "private" may appear should be free.
>
Unclear. Example?
next prev parent reply other threads:[~2012-08-28 13:27 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
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 [this message]
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