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
X-Google-Thread: a07f3367d7,735c710b5e547bad
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.66.82.2 with SMTP id e2mr3454206pay.40.1343789455766;
        Tue, 31 Jul 2012 19:50:55 -0700 (PDT)
Path: 
 p10ni9631378pbh.1!nntp.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!nrc-news.nrc.ca!goblin1!goblin2!goblin3!goblin.stu.neva.ru!usenet.pasdenom.info!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Ada 2005 puzzle
Date: Fri, 27 Jul 2012 15:04:12 +0200
Organization: cbb software GmbH
Message-ID: <1x51ztmeo2hll.jtsosl0kzzhi.dlg@40tude.net>
References: <1arp60wtxes8h$.1qs6bt732ztgp.dlg@40tude.net>
 <030cde76-7435-405d-9f12-ac7f730ecab8@googlegroups.com>
 <1f9q6vk5z2r3t$.1hayo9rmxfwu7$.dlg@40tude.net> <ju8atj$734$1@munin.nbi.dk>
 <wd9m63dfb4hn.1feik6xrauuel$.dlg@40tude.net> <juafd9$fa5$1@munin.nbi.dk>
 <1agfifqlayl3y.1bp09z5i37ewk$.dlg@40tude.net> <jucrlq$d2c$1@munin.nbi.dk>
 <1nnq1oprn6h4f.1s5myl3oupdds$.dlg@40tude.net> <jul1rf$3rn$1@munin.nbi.dk>
 <57ed1bca-b503-492c-a3b1-012369484e93@googlegroups.com>
 <e3lpckmcck22$.eqnl4sn38ezy$.dlg@40tude.net> <juq03a$aph$1@munin.nbi.dk>
 <1gt5njrqzprkt$.1f9deqqcwyyuq.dlg@40tude.net> <m2vchapt3w.fsf@nidhoggr.home>
 <1g6eygs4wyie8.x1sl1gap1gec$.dlg@40tude.net>
 <c2f946fc-c028-4869-a469-5f79aee11556@googlegroups.com>
 <16ft4hb6xzphu.z8f7urnw3xu0.dlg@40tude.net>
 <50128262$0$6554$9b4e6d93@newsspool4.arcor-online.net>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: 9A8bJrx4NhDLcSmbrb6AdA.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Date: 2012-07-27T15:04:12+02:00
List-Id: <comp.lang.ada>

On Fri, 27 Jul 2012 13:58:25 +0200, Georg Bauhaus wrote:

> On 27.07.12 12:32, Dmitry A. Kazakov wrote:
>> I don't even know the purpose of limited
>> aggregates
> 
> For limited aggregates I'd suggest that it is good to have
> statically initialized, read-only objects. For example,
> deferred constants that are initialized, from static values,
> in the private part of a package.  These limited
> objects could be stored in ROM, yet have primitive subprograms
> associated with them as (more or less) usual.

If you cannot derive? Primitive operations make little sense if there is
only one type.

Abstract types fall short either because you could not have:

   type T is abstract ... with private;
   function Create (...) return T; -- Non-abstract
      -- initializes private parts of T, called from the overriding

The stuff just does not make any sense to me.

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