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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	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!news.glorb.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: High-Integrity OO and controlled types
Date: Sun, 01 May 2011 23:44:27 +0100
Organization: A noiseless patient Spider
Message-ID: <m2y62q11o4.fsf@pushface.org>
References: <d8204576-14ff-41a4-b850-ace9c15872d4@v8g2000yqb.googlegroups.com>
	<wccoc3mcdp5.fsf@shell01.TheWorld.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: mx03.eternal-september.org;
 posting-host="dFCm8HWntFqmDIilBLqEJQ";
	logging-data="29301"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+ZN/XNRmIZUD9ZOX2O0NuJofrFZL2paaM="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (darwin)
Cancel-Lock: sha1:K5ent85aCBAMJLXLGvtYjYHcFgw=
	sha1:7+6CKYzlgjYYyTHe0TSq3Zrf3tU=
Xref: g2news2.google.com comp.lang.ada:20085
Date: 2011-05-01T23:44:27+01:00
List-Id: <comp.lang.ada>

Robert A Duff <bobduff@shell01.TheWorld.com> writes:

> Maciej Sobczak <see.my.homepage@gmail.com> writes:
[...]
>>...Obviously, there is
>> some implicit additional code required for controlled types to work,
>> but as far as I understand this additional code can be entirely
>> generated by the compiler (in many cases even the dynamic dispatch can
>> be omitted) and no run-time library is necessary for it at all.
>
> In theory, yes, all of it could be compiler-generated code.
> But you really wouldn't want that.

Because there'll be more of it?

And I don't suppose there's much difference from the point of view of
creating an audited application between code generated by the compiler
and code in an RTS (after all, it's probably the same team in both
cases!)