From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: orthogonal inheritance and extension aggregates Date: Mon, 22 Jul 2013 20:44:38 +0200 Organization: cbb software GmbH Message-ID: References: <6995bf02-6143-4d0f-aeb3-89a94bc1ac01@googlegroups.com> <79e0bc53-5431-493d-95d1-aac74c7d19c9@googlegroups.com> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: R0SnWoufDrgXLosLSQbuFw.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:16472 Date: 2013-07-22T20:44:38+02:00 List-Id: 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