comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: How many Ada compiler bugs are here?
Date: Fri, 13 Jan 2012 14:43:33 +0100
Date: 2012-01-13T14:43:33+01:00	[thread overview]
Message-ID: <pwkna5x23gnb.1p9mw4p0c2uny$.dlg@40tude.net> (raw)
In-Reply-To: 189376d3-eab5-44a2-a7fc-8a227d1f6d70@k10g2000yqk.googlegroups.com

On Fri, 13 Jan 2012 04:58:21 -0800 (PST), AdaMagica wrote:

> On 13 Jan., 12:35, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:

>> But I suggest that you are rather trying to excuse Ada's sloppiness in this
>> issue.
> 
> Ada's not perfect, we all know that. But it's one of the best...

The best, IMO.

>> to the point I am making, and, secondly,
>> because factories could be provided by other packages, not necessarily by P
>> itself.
> 
> But without a constructor in P (or in children thereof) for T there
> cannot be any factories anywhere. This is silly mistake in your
> example.

No. You can have them in children packages, which is not so uncommon to do. 

I ran into the issue of required return statement several times. If you
have a hierarchy of managed objects, for which you would like to prevent
stack instances or make them accessible only though proxy objects, etc.
Especially when some fields are not null access. Then you may get this
problem. It can occur pretty late and require a huge amount of redesign.
Because to access the full view the package must be a child, and it is
usually already a child of some other package and not without a reason,
e.g. to access the internals of those.

BTW, I always wondered why cannot we have multiple parents of a package in
Ada?

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



  reply	other threads:[~2012-01-13 13:43 UTC|newest]

Thread overview: 41+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-01-12 23:20 How many Ada compiler bugs are here? Maciej Sobczak
2012-01-13  0:21 ` Randy Brukardt
2012-01-13  1:26   ` Adam Beneschan
2012-01-13  8:23     ` Dmitry A. Kazakov
2012-01-13  8:47       ` AdaMagica
2012-01-13  9:07         ` Dmitry A. Kazakov
2012-01-13  9:35           ` AdaMagica
2012-01-13 10:00             ` Dmitry A. Kazakov
2012-01-13 10:38               ` georg bauhaus
2012-01-13 11:39                 ` Dmitry A. Kazakov
2012-01-13 12:43                   ` Georg Bauhaus
2012-01-13 13:06                     ` AdaMagica
2012-01-13 13:16                       ` AdaMagica
2012-01-13 13:22                       ` Georg Bauhaus
2012-01-13 13:29                         ` Dmitry A. Kazakov
2012-01-13 10:52               ` AdaMagica
2012-01-13 11:35                 ` Dmitry A. Kazakov
2012-01-13 12:58                   ` AdaMagica
2012-01-13 13:43                     ` Dmitry A. Kazakov [this message]
2012-01-13 15:06                       ` Robert A Duff
2012-01-13 15:46                         ` Dmitry A. Kazakov
2012-01-13 17:42                           ` georg bauhaus
2012-01-13 18:52                             ` Dmitry A. Kazakov
2012-01-14  0:26                           ` Randy Brukardt
2012-01-14  9:49                             ` Dmitry A. Kazakov
2012-01-19  1:35                               ` Randy Brukardt
2012-01-19 10:33                                 ` Dmitry A. Kazakov
2012-01-14  2:41                           ` Robert A Duff
2012-01-13 17:23               ` Adam Beneschan
2012-01-14  2:41                 ` Robert A Duff
2012-01-13 17:15       ` Adam Beneschan
2012-01-13 20:06   ` Blady
2012-01-13 23:30     ` Adam Beneschan
2012-01-14 13:29       ` Brian Drummond
2012-01-19  1:47         ` Randy Brukardt
2012-01-19  4:24           ` Adam Beneschan
2012-01-20  0:04             ` Randy Brukardt
2012-01-14 10:20   ` Maciej Sobczak
2012-01-14 14:03     ` Brian Drummond
2012-01-16 16:35     ` Adam Beneschan
2012-01-20 10:43       ` Brian Drummond
replies disabled

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