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!news1.google.com!news.glorb.com!feeder.erje.net!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool1.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: Date: Mon, 2 May 2011 21:39:29 +0200 Message-ID: <47nrp21n5a5b.1tmmgxawdp4ko$.dlg@40tude.net> NNTP-Posting-Date: 02 May 2011 21:39:28 CEST NNTP-Posting-Host: 373b4e75.newsspool1.arcor-online.net X-Trace: DXC=fdhTEf3A];:nBOkdL^Lo7>ic==]BZ:af>4Fo<]lROoR1<`=YMgDjhg2BegFcK<>=`>[6LHn;2LCV>[ On Mon, 02 May 2011 12:32:53 -0400, Robert A Duff wrote: > "Dmitry A. Kazakov" writes: > >> On Sun, 01 May 2011 17:29:10 -0400, Robert A Duff wrote: >> >>> Maciej Sobczak writes: >>> >>>> "Controlled types are not supported since they require extensive run- >>>> time support." >> >> A prejudice > > Note that we're talking about pragmas Restrictions and Profile. Rather about rationale behind such restrictions. You gave an example of an overhead caused by local access-to-controlled types. That has a far narrower scope than *any* usage of controlled types. A restriction of such access types can be reasonable (as well as, and much more importantly, precluding dynamic accessibility checks). Prohibiting all controlled types is just irrational. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de