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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,6d79efdb8dde2c5a
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news2.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nx02.iad01.newshosting.com!newshosting.com!198.186.194.249.MISMATCH!transit3.readnews.com!news-xxxfer.readnews.com!news-out.readnews.com!postnews3.readnews.com!not-for-mail
Date: Mon, 16 Aug 2010 16:40:16 -0400
From: "Peter C. Chapin" <chapinp@acm.org>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US;
 rv:1.9.2.8) Gecko/20100802 Lightning/1.0b2 Thunderbird/3.1.2
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: SPARK : third example for Roesetta - reviewers welcome
References: <op.vhguffh3ule2fv@garhos>
 <589eea9a-0b14-4ae5-bf62-9abf4b33e7fb@i31g2000yqm.googlegroups.com>
 <i49oif$1c85$1@adenine.netfront.net> <op.vhh3bwnwxmjfy8@garhos>
 <82mxsnuhbq.fsf@stephe-leake.org>
 <b08743ce-a85f-4962-8fbb-c2601b9cc4a1@x21g2000yqa.googlegroups.com>
 <op.vhjindufxmjfy8@garhos>
In-Reply-To: <op.vhjindufxmjfy8@garhos>
Content-Type: text/plain; charset=ISO-8859-15
Content-Transfer-Encoding: 8bit
Message-ID: <4c69a251$0$2371$4d3efbfe@news.sover.net>
Organization: SoVerNet (sover.net)
NNTP-Posting-Host: 98789e57.news.sover.net
X-Trace: 
 DXC=VbaRMPJ3\PQPQFgj7F09KVK6_LM2JZB_S><9hL1oPCF^:WUUlR<856_Xea>STd^=b^@i`m]XBgjgX
X-Complaints-To: abuse@sover.net
Xref: g2news1.google.com comp.lang.ada:13431
Date: 2010-08-16T16:40:16-04:00
List-Id: <comp.lang.ada>

On 2010-08-16 12:55, Yannick Duch�ne (Hibou57) wrote:

> My personal opinion about user rules kept apart, my fear is that
> external files would make it look more like a tool than a language, or
> at least not as easy to track as any other language.

In many respects SPARK is not like other languages. The nature of what
it's trying to do is such that these extra supporting files are
sometimes necessary. My feeling is that you should demonstrate
reasonable SPARK style. If it is felt that user rules are appropriate in
this case, then so be it. If the reader of the Rosetta site is put off
by the extra complexity, perhaps they would be more interested in the
Python examples. :)

(No disrespect to Python intended)

Peter