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: 103376,4e5770c49b971630 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!newsfeed-00.mathworks.com!kanaga.switch.ch!news-zh.switch.ch!switch.ch!news.belwue.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: High-Integrity OO and controlled types Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <47nrp21n5a5b.1tmmgxawdp4ko$.dlg@40tude.net> Date: Tue, 3 May 2011 09:30:13 +0200 Message-ID: <1f1l5vmsetr53.q4i4vnava7yv.dlg@40tude.net> NNTP-Posting-Date: 03 May 2011 09:30:13 CEST NNTP-Posting-Host: c4038c0e.newsspool3.arcor-online.net X-Trace: DXC=Y]BnYe^bD:BAa;:RKVJ>LEMcF=Q^Z^V3H4Fo<]lROoRA8kFkV][@?;J X-Complaints-To: usenet-abuse@arcor.de Xref: g2news2.google.com comp.lang.ada:20103 Date: 2011-05-03T09:30:13+02:00 List-Id: On Mon, 02 May 2011 20:08:43 -0400, Robert A Duff wrote: > "Dmitry A. Kazakov" writes: > >>...You gave an example of an >> overhead caused by local access-to-controlled types. > > No, all access-to-controlled types -- not just local ones. > And access to non-controlled types that contain controlled components. If Unchecked_Deallocation is called on each allocated object controlled or with controlled components, that would make keeping the list of allocated objects superfluous. I think that restrictions should work in this direction. > And it's not just overhead (as in run-time efficiency) -- it's the complexity of > the run-time support. Well, but this applies to compile time support too, e.g. optimization and the GENERICS! Pragmatically, yes, certainly more complex the language thing is, more likely it is broken. But it is a compiler's property. I, as a software designer, am not in the position to decide, if the given compiler has bugs and which language features get spoiled. Thus it does not belong to a profile. > And it's not access types per se -- it's heap-allocated objects > (i.e. "new") that introduces most of the complexity. I agree, but that is not specific to controlled types. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de