Re: Processing array subsections, a newbie question.

[Simon Wright <simon@pushface.org>]

"Peter C. Chapin" <pcc482719@gmail.com> writes:

> Simon Wright wrote:
>
>> Colin Paul Gloster <Colin_Paul_Gloster@ACM.org> writes:
>> 
>>> I really do not approve of the names Index_Fst and Index_Lst.
>> 
>> Quite agree. What's wrong with First and Last? (or even if it wasn't
>> obvious already Index_First, Index_Last).
>
> 'First' and 'Last' are reserved by SPARK as FDL identifiers. Similarly
> 'Start' and 'Finish' are reserved by SPARK. Obviously 'Begin' and
> 'End' is not going to work either since they are reserved by Ada. So
> while I rather dislike 'Fst' and 'Lst' I found it awkward finding a
> suitable matched pair of names that would otherwise convey my
> intention.
>
> In my actual program the index variables are named differently than in
> my example anyway. However, I admit that I have used 'Fst' and 'Lst'
> at times in my code since I couldn't think of anything else that
> wasn't reserved. I probably lack imagination.

Oops, I didn't know that.

A shame that to make code provable you have to make it unreadable.