Re: Build language with weak typing, then add scaffolding later to strengthen it?

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

Le 26/05/2015 18:19, Shark8 a écrit :
> On Tuesday, May 26, 2015 at 7:39:08 AM UTC-6, J-P. Rosen wrote:
>>
>> (Note on the examples I took: in a previous life, I worked on an Ada83
>> compiler. It took me much more time to implement code generation for
>> array aggregates than the whole design and implementation of the tasking
>> system).
> 
> That is amazing -- I never would have guessed that array aggregates would be more difficult than the entire tasking system.
> 
Yes. The order of evaluation of ranges and components, and the rule
about empty arrays not raising Constraint_Error, makes any naive
evaluation order wrong. And the order of evaluation is not the same for
a bidimensional array and an array of arrays that have the same aggregate!

Note: I mentionned it was Ada83. IIRC, things have been a bit relaxed
since - quite a long time I didn't look into it.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr