exercices

exercices

[Mehdi Saada]

I'm looking for exercices in Ada, in English or French. There would be specifications and corrections, and ideally oracles files.
I'm desesperately looking for it... If anyone knows about it on the web or in books, I'll be forever indebted to you :-D

Thanks.

Re: exercices

[joakimds]

Hi Mehdi,

One resource for learning Ada that I like is: https://zhu-qy.blogspot.se/2012/08/adatutor.html
There are exercises there if I remember correctly.

Best regards,
Joakim

Re: exercices

[Mehdi Saada]

Seems good, was updated two years ago, which is great. Softwares of this kind (usually) don't use to aim at real beginners, they focus on teaching Ada, not programming. Hope this will be different...

Re: exercices

[Mehdi Saada]

... 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 lack of corrected exercices, not theoretical courses, of which numerous and well written already exist, be it on programmation or specifically Ada.

Re: exercices

[Shark8]

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 lack of corrected exercices, not theoretical courses, of which numerous and well 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 not sure I have the skill to really teach it well (or at least write good lessons).

Re: exercices

[Dirk Heinrichs]

Am 23.12.2017 um 21:16 schrieb Mehdi Saada:

> and ideally oracles files

What's that?

Bye...

	Dirk
-- 
Dirk Heinrichs <dirk.heinrichs@altum.de>
GPG Public Key: D01B367761B0F7CE6E6D81AAD5A2E54246986015
Sichere Internetkommunikation: http://www.retroshare.org
Privacy Handbuch: https://www.privacy-handbuch.de

Re: exercices

[Mehdi Saada]

?? I thought it was a common concept.
It's the ideal output of a test program. If "diff test.OUT test.ORA" shows nothing, no faillures detected, the "OUT" file being your actual output.

Re: exercices

[Dirk Heinrichs]

Am 25.12.2017 um 13:06 schrieb Mehdi Saada:

> It's the ideal output of a test program. If "diff test.OUT test.ORA" shows nothing, no faillures detected, the "OUT" file being your actual output.

OK, thanks.

Bye...

	Dirk
-- 
Dirk Heinrichs <dirk.heinrichs@altum.de>
GPG Public Key: D01B367761B0F7CE6E6D81AAD5A2E54246986015
Sichere Internetkommunikation: http://www.retroshare.org
Privacy Handbuch: https://www.privacy-handbuch.de

Re: exercices

[Niklas Holsti]

On 17-12-25 14:06 , Mehdi Saada wrote:
> ?? I thought it was a common concept.
> It's the ideal output of a test program. If "diff test.OUT test.ORA"
> shows nothing, no faillures detected, the "OUT" file being your
> actual output.

That is more commonly called a "reference output file", or "golden 
output file".

The term "oracle" is more commonly used for a _method_ or tool to 
_generate_ the expected outputs from _any_ given inputs, for example an 
independent implementation of the computation (a "reference 
implementation").

See https://en.wikipedia.org/wiki/Oracle_(software_testing).

By the way, Mehdi, when you respond to a posting, please quote the part 
of the posting to which you are responding, as I have done above. This 
makes it much easier to follow the conversation, especially for people 
who may not have read the original posting.

I know that some news-readers (Google Groups, perhaps) display postings 
in chains so that the posting to which you are responding is visible, 
but this is not the case for all news-readers (for example, Thunderbird).

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .

Re: exercices

[Björn Lundin]

On 2017-12-26 14:45, Niklas Holsti wrote:
> 
> I know that some news-readers (Google Groups, perhaps) display postings
> in chains so that the posting to which you are responding is visible,
> but this is not the case for all news-readers (for example, Thunderbird).


Menu | View | Sort by | Threaded

Gives you threads in Thunderbird

-- 
--
Björn

Re: exercices

[Niklas Holsti]

On 17-12-27 14:35 , Björn Lundin wrote:
> On 2017-12-26 14:45, Niklas Holsti wrote:
>>
>> I know that some news-readers (Google Groups, perhaps) display postings
>> in chains so that the posting to which you are responding is visible,
>> but this is not the case for all news-readers (for example, Thunderbird).
>
>
> Menu | View | Sort by | Threaded
>
> Gives you threads in Thunderbird

Sure, but (at least in my Thunderbird) the Threaded view shows only the 
Subject lines of the earlier messages in the thread -- not the whole 
text (unless one then opens that message).

Anyway, if one replies to only a part of a long message, it is IMO 
better to quote that part (only) in the reply, even if the reader shows 
both the original and the reply at once.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .

Re: exercices

[Simon Wright]

Niklas Holsti <niklas.holsti@tidorum.invalid> writes:

> Anyway, if one replies to only a part of a long message, it is IMO
> better to quote that part (only) in the reply, even if the reader
> shows both the original and the reply at once.

Yes! Please!