Re: Ada lacks lighterweight-than-task parallelism

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2018-07-02 18:01, Marius Amado-Alves wrote:
> " ... if the same object must be iterated differently it must offer two different interfaces for doing so" (K.)
> 
> Absolutely, and I've done that multiple times. Then 'Parallelizeable would be a property of the iterator--not of the object. A simple Boolean attribute indicating to the compiler "parallelize if you can" or "dont." (Defaulting to False I guess.)

No, there should be no any iterators in the first place. In a properly 
designed language you need no helper types.

And it is certainly not a Boolean flag. A property is something which 
can be proved to be true. One property is existence of random 
independent evaluation of the access. It is a property of the given set 
type (or mapping/container type).

Another property is absence of cross effects of the loop body 
evaluation, which depends on the properties of operations and objects 
that appear in the body.

None of these are properties of the loop itself, so it is strange to tie 
this to the loop statement. That would be a promise the language cannot 
hold unless it can prove it holding. If it can, and the only way to know 
is the contracts of the objects involved, then it would need no further 
hints.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de