Re: High-Integrity OO and controlled types

[Simon Wright <simon@pushface.org>]

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!)