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,b36bbdc1595d0665 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!postnews.google.com!s9g2000yqd.googlegroups.com!not-for-mail From: Ada novice Newsgroups: comp.lang.ada Subject: Re: SPARK code samples Date: Wed, 11 Aug 2010 04:38:36 -0700 (PDT) Organization: http://groups.google.com Message-ID: References: <1iq8kg021bo4v$.s51i2enx3fzo.dlg@40tude.net> NNTP-Posting-Host: 193.11.22.91 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1281526716 6623 127.0.0.1 (11 Aug 2010 11:38:36 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 11 Aug 2010 11:38:36 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: s9g2000yqd.googlegroups.com; posting-host=193.11.22.91; posting-account=Rr9I-QoAAACS-nOzpA-mGxtAlZ46Nb6I User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.2.8) Gecko/20100722 Firefox/3.6.8 (.NET CLR 3.5.30729),gzip(gfe) Xref: g2news1.google.com comp.lang.ada:13113 Date: 2010-08-11T04:38:36-07:00 List-Id: On Aug 11, 10:44=A0am, "Dmitry A. Kazakov" wrote: > > Rosetta is pretty liberal, everyone can register and contribute. The > SPARK's page is: > > =A0 =A0http://rosettacode.org/wiki/SPARK Thanks for this information. I'm interested to learn SPARK. If I understand correctly, SPARK aligns itself well with Ada 95 and not yet with Ada 05. Is this because of the strictness of SPARK to provide highly reliable codes and hence it contains only well-tested features (subset of Ada features)? It would be interesting to see some SPARK codes on the wiki page building over time. YC