Re: GNAT packages in Linux distributions

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Tue, 11 May 2010 09:39:34 +0200, Dmitry A. Kazakov  
<mailbox@dmitry-kazakov.de> a écrit:
>> Yes, it happens I'm thinking about that trouble, as I'm waiting for long
>> for the Programing By Contract (tm) capabilities (I use to be an Eiffel
>> advocator for some times in the past).
>
> I am not. Eiffel does it wrong. SPARK does it right.
At that time, I did not ever knew there was such a thing as SPARK (which  
is still to be really learned to me... planed for very soon). At least,  
Eiffel was able to get a larger audience than SPARK, as there is a greater  
amount of peoples who know Eiffel than of peoples who know SPARK. So  
Eiffel still did something good in some way with its larger audience (if  
peoples who learned about Eiffel really goes further or not, did get  
benefit of what they discovered with it or not, or just used it as a  
fashion toy and did not learn anything of it, is an another story).


-- 
No-no, this isn't an oops ...or I hope (TM) - Don't blame me... I'm just  
not lucky