Re: is Vax addressing sane today

On 9/10/2024 1:13 AM, Niklas Holsti wrote:

In the Ada case, the ability to declare array types with programmer- chosen index types with bounded range, such as range-bounded integers or enumerations, means that the compiler can avoid indexing checks when the (sub)type of the index is known at compile time to fit within the index range of the array.

I have always liked the idea of variable ranges able to be specified in the language.  Besides the advantages you mentioned, it provides more human "comprehensibility" (if the ranges are reasonably named) i.e. better internal documentation, and it makes responding to specification changes required later in the program life cycle easier and less error prone, i.e. if the range has to change, you change it in one place and don't risk missing making the change in some obscure part of the program you forgot about.
--
  - Stephen Fuld
(e-mail address disguised to prevent spam)