From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,587e0e0a16d65b10
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!s20g2000yqh.googlegroups.com!not-for-mail
From: =?ISO-8859-1?Q?Hibou57_=28Yannick_Duch=EAne=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Invade wikipedia!
Date: Wed, 25 Feb 2009 22:38:35 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <f24269cc-56ce-48a5-aff6-0758fb846e56@s20g2000yqh.googlegroups.com>
References: <l6k0og.o0o.ln@hunter.axlog.fr>
 <49a415c4$0$32675$9b4e6d93@newsspool2.arcor-online.net>
	<08cbf95f-1a72-4a93-8c21-55b1411b6608@j12g2000vbl.googlegroups.com>
	<49a47c51$0$30227$9b4e6d93@newsspool1.arcor-online.net>
 <f0d14faf-29a9-484b-8705-591f6a439340@i38g2000yqd.googlegroups.com>
	<49a5e7d4$0$31337$9b4e6d93@newsspool4.arcor-online.net>
 <1bae178f-8c50-4298-8250-79d41e9c0a9d@f11g2000vbf.googlegroups.com>
NNTP-Posting-Host: 86.66.190.154
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1235630316 12914 127.0.0.1 (26 Feb 2009 06:38:36
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 26 Feb 2009 06:38:36 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: s20g2000yqh.googlegroups.com; posting-host=86.66.190.154;
	posting-account=vrfdLAoAAAAauX_3XwyXEwXCWN3A1l8D
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1;
	fr),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:3811
Date: 2009-02-25T22:38:35-08:00
List-Id: <comp.lang.ada>

What about comment versionning ?

I will not talk about type checking with comments, but versioning of
comments checked against versioning of the corresponding par of code,
will allow iterative reviews of comments in order to ensure that both
the code is a correct answer to what is stated buy the comments and
that comments has trustable statements about the code.

Versioning could be the comments counterpart of type/signature
checking in codes.

Any way, as there are many langages around there, there will be
undoubtly at least as many possible formalisms for properly useful
comments.

About me, I'm oftenly thinking about something like some kind of
attributes to describe implementation properties/roles (simple nesting
of methods and packages - when avlailable - does not fullfil all of
the possible and useful categorizations of code, whose pieces most of
time belongs to multiple views which does not defines a partition).