Re: How to get Ada to ?cross the chasm??

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

On 2018-05-01 06:26, Paul Rubin wrote:
> "Randy Brukardt" <randy@rrsoftware.com> writes:
>> Futzing with "finicky control structures" (what the heck is that
>> anyway, the only control structures Ada has are the normal ones like
>> if and case)
> 
> Well there are also loops etc.  If you want to make a new array whose
> elements are the squares of all the elements of an old array, you end up
> writing a loop.

But I don't want it. There is no practical need in array operations 
using arrays as a whole.

> In functional style you can get rid of the loop and
> write something like "new_array =  map(square, old_array)".

In Ada and in any other language, honestly, if I could, I would define 
an ADT with the corresponding algebra if I needed it:

    type Vector is array (...) of ...;
    function "*" (Left, Right : Vector) return Vector;

The "squaring" would be old_array * old_array. Or even old_array ** 2.

Such manipulation must have some sense. That differentiates software 
engineering from coding mentioned in this discussion. Manipulation on 
data structures do not come from nowhere, for its own sake. There is the 
problem space's logic and structures the program artifacts implement.

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