Re: How to make tasks to run in parallel

[reinert <reinkor@gmail.com>]

On Tuesday, October 17, 2017 at 9:47:11 AM UTC+2, Dmitry A. Kazakov wrote:
> On 17/10/2017 09:32, reinert wrote:
> 
> > It sometimes use:
> > "type Real is Digits 18;"
> > 
> > I see the point (sometimes) using "substype" here. But I also like to
> > avoid to add meter and seconds :-) I.e. to be "clean" with respect
> > to  dimensions/units.
> 
> GNAT has a non-standard dimension aspect which does that.
> 
> But that is a wrong approach. Dimension cannot be made a part of the 
> type. Because that would preclude major use cases where dimensioned 
> values are actually used. Dimension should be subtype constraint.
> 
> -- 
> Regards,
> Dmitry A. Kazakov
> http://www.dmitry-kazakov.de

I may have learned several thing before the evening :-) 

My current understanding of Ada is mainly from John Barnes, "Programming in Ada 2012".  On page 243 he introduces new (derived) types for number of apples and oranges, so one can write:

No_Of_Apples := No_Of_Apples + 1;
No_Of_Oranges := No_Of_Oranges + 1;

But one cannot write:

No_Of_Apples := No_Of_Oranges + 1; -- error

Using derived types here seems "clean" to me and contributing to avoid future errors.

reinert