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=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.107.168.7 with SMTP id r7mr9331164ioe.129.1514133073062; Sun, 24 Dec 2017 08:31:13 -0800 (PST) X-Received: by 10.157.39.12 with SMTP id r12mr609342ota.4.1514133072957; Sun, 24 Dec 2017 08:31:12 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.unit0.net!peer02.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!i6no2186876itb.0!news-out.google.com!s63ni3735itb.0!nntp.google.com!i6no2186873itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sun, 24 Dec 2017 08:31:12 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=76.113.16.86; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC NNTP-Posting-Host: 76.113.16.86 References: <39c697ca-014d-4736-ab76-0e240fa77971@googlegroups.com> <78cc23a5-4e4c-40d9-ae56-f7ba56d7a90a@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <814eea7b-49ad-46a1-9071-00364238825f@googlegroups.com> Subject: Re: exercices From: Shark8 Injection-Date: Sun, 24 Dec 2017 16:31:13 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Body-CRC: 80863160 X-Received-Bytes: 2056 Xref: reader02.eternal-september.org comp.lang.ada:49628 Date: 2017-12-24T08:31:12-08:00 List-Id: On Sunday, December 24, 2017 at 7:41:45 AM UTC-7, Mehdi Saada wrote: > ... Wasn't. Very short. Good explanations of the language features, doesn= 't teach at all how programmation itself. Even it was, there's an awful lac= k of corrected exercices, not theoretical courses, of which numerous and we= ll written already exist, be it on programmation or specifically Ada. This is true; it's something I'd like to address -- perhaps something along= the lines of the "prove in the cloud" article/project from SPARK-2014.org = -- http://www.spark-2014.org/entries/detail/prove-in-the-cloud -- but I'm n= ot sure I have the skill to really teach it well (or at least write good le= ssons).