From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: orthogonal inheritance and extension aggregates
Date: Mon, 22 Jul 2013 20:44:38 +0200
Date: 2013-07-22T20:44:38+02:00 [thread overview]
Message-ID: <i7040loesavo$.fbkj6pann6kb$.dlg@40tude.net> (raw)
In-Reply-To: 79e0bc53-5431-493d-95d1-aac74c7d19c9@googlegroups.com
On Mon, 22 Jul 2013 09:02:27 -0700 (PDT), Adam Beneschan wrote:
> The more I look at it, the more I think this is a missing language feature
> that is not going to be easy to fix.
Yes. That feature has a name, it is "constructor".
> The only solution I can think of is to add some sort of "default extension
> initializer" feature that Extension could provide,
The "initializer" needs parameters from which it initializes the extension.
It is merely a constructor of the extension.
> So basically I think what you're trying to do just shouldn't be done in Ada,
That Ada offers no means to design opaque types which instances require
initialization does not mean that this should not be done in Ada. It is a
good and useful pattern, which the language should support and encourage.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2013-07-22 18:44 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-07-19 17:46 orthogonal inheritance and extension aggregates Felix Krause
2013-07-19 18:00 ` Adam Beneschan
2013-07-22 16:02 ` Adam Beneschan
2013-07-22 18:44 ` Dmitry A. Kazakov [this message]
2013-07-22 18:59 ` Adam Beneschan
2013-07-22 19:19 ` Adam Beneschan
2013-07-22 22:03 ` Felix Krause
2013-07-19 19:05 ` Dmitry A. Kazakov
2013-07-20 5:49 ` Randy Brukardt
2013-07-20 6:36 ` Dmitry A. Kazakov
2013-07-20 7:54 ` Niklas Holsti
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox