Re: Efficiency of code generated by Ada compilers

[tmoran@acm.org]

>>    I := Ring_Indices'succ(I);
>> vs
>>    I := (I + 1) mod Ring_Size;
>> or
>>    Bearing := Bearing + Turn_Angle;
>> vs
>>    Bearing := (Bearing + Turn_Angle) mod 360;
>
>The explicit "mod"s are more readable, I think.

Interesting.  I think the opposite.  The explicit mod versions take a
computer-centric, rather than problem-centric, view, which is the opposite
of the usual "Ada approach".  They are also subject to the possible error
of failing to write the "mod" part, whereas with modular types the
compiler has the responsibility to remember to do the mod operation.