Re: GNAT packages in Linux distributions

[stefan-lucks@see-the.signature]

[-- Attachment #1: Type: TEXT/PLAIN, Size: 1133 bytes --]

On Wed, 26 May 2010, Yannick Duch�ne (Hibou57) wrote:

> Please, can you tell me more about what �annotations� implies to you ?

Annotations are an addition to the original language. Annotations are 
typically "hidden" in comments (from the viewpoint of the original 
language). This is in constrast to contracts defined as a part of the 
language itself. (Technically, the language with the annotations makes a 
new language ... but there is a gap between the normal part of the 
language, and the comment-like annotations.

> To give a small talk, I would just say that if it either appears in 
> comment or in plain language source, I do not see a difference.

I am a university teacher. For me, it makes quite a difference if I either 
explain studens one coherent language where contracts are an integral part 
of (like Eiffel), or one programming langugage plus an additional language 
for the annotations. 


-- 
------ Stefan Lucks   --  Bauhaus-University Weimar  --   Germany  ------
               Stefan dot Lucks at uni minus weimar dot de
------  I  love  the  taste  of  Cryptanalysis  in  the  morning!  ------