Re: Banging the Ada Drum.

[adacrypt <austin.obyrne@hotmail.com>]

On Feb 28, 10:49 am, Martin <mar...@thedowies.com> wrote:
> On Feb 28, 9:39 am, adacrypt <austin.oby...@hotmail.com> wrote:
> [snip]
>
>   FOR I in 30 ..1030 LOOP
>     A(I) := Alices_Digital_Signature.GetUnits(Numin => I);
>     B(I) := Alices_Digital_Signature.GetUnits(Numin => I);
>   END LOOP;
>
> Don't explicitly re-use the array limits in loops, prefer:
>
>    for I in A'Range loop
>       A (I) := ...
>
> Now the compiler may not inject checks on "A (I)" as it knows that the
> range of "I" is derived directly from "A".
>
> Why have different types for A and B - they are both just arrays of
> Integer with the same index. If you really want to make them
> different, you could do:
>
>    type Index is range 30 .. 1_030;
>    type A_Array_Type is array (Index) of Integer;
>    type B_Array_Type is new A_Array_Type;
>
>    A : A_Array_Type;
>    B : B_Array_Type;
>
> BTW, are you assuming Integer is 32-bits? Because it doesn't have to
> be...it could be as small as 16 bits or larger than 32.
>
> -- Martin

Your'e missing the point - this is not a fine piece of programming in
Ada - I hold my hands up in that respect - this work has been wrested
with blood sweat and tears from a world of resistance and
intransigence in the crypto scene - writing great Ada is another and
quite different playing field - I am not averse to that but I say
keeping one's eye on the ball of simplicity is paramount.

There are millions of people out there who can write great Ada -
nobody apart from me can write great cryptography.

Thanks for your well meant comments. I appreciate your reply.

- adacrypt