Re: Preventing type extensions

["J-P. Rosen" <rosen@adalog.fr>]

Le 21/09/2010 17:02, Cyrille a �crit :

> which strategy? you seem to be referring implicitly to a document that
> I'm not aware of. I'm not aware of any "serious" arguments against
> inlining which is simply a compiler technique for improving
> performance.
The one that forbids redispatching in favour of class-wide operations.
This can be done only in Ada, and can be a big plus for testing.

For inlining, I was referring to the corresponding chapter of OOTiA

>> The workshop at the conference is the starting point for a document that
>> will define appropriate restrictions ("Fairfax profile"). Starting such
>> an effort during an Ada conference seems absolutely appropriate.
> 
> It seems a bit early, DO-178C hasn't been published yet and people
> participating to such an effort will need time to access it once it is
> published and understand it.
I couldn't get my hands on DO-178C, but form what I heard it will be
based (at least on the principles) on the work of OOTiA, which
originated from the C++ community and ignores the possibilities offered
by class-wide types - that was the starting point of this thread.

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Adalog a d�m�nag� / Adalog has moved:
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00