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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,b36bbdc1595d0665,start X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!newsfeed.straub-nv.de!newsfeed.utanet.at!newsfeed01.chello.at!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: SPARK code samples Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH Date: Wed, 11 Aug 2010 10:44:58 +0200 Message-ID: <1iq8kg021bo4v$.s51i2enx3fzo.dlg@40tude.net> NNTP-Posting-Date: 11 Aug 2010 10:44:57 CEST NNTP-Posting-Host: 493c89b7.newsspool2.arcor-online.net X-Trace: DXC=NQd0fSlbNMEj7E:bke<5HFA9EHlD;3YcB4Fo<]lROoRA8kF Since evidently growing interest in SPARK Ada and availability of public SPARK compiler, I welcome those who are interested in learning and testing SPARK to contribute their solutions to the Rosetta Code: http://rosettacode.org/wiki/Main_Page The Rosetta Code has a half of thousand programming tasks defined. The tasks are solved almost any programming language ever existed. Ada is well represented in Rosetta, but SPARK is not. (Clearly, not all tasks could be implemented in SPARK) Rosetta is pretty liberal, everyone can register and contribute. The SPARK's page is: http://rosettacode.org/wiki/SPARK Thanks. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de