* Splitting large enumerated types into smaller ones * Using the same range for arrays indexes, "for" loops parameters which index those arrays. In those cases

* Splitting large enumerated types into smaller ones * Using the same range for arrays indexes, "for" loops parameters which index those arrays. In those cases a good compiler removes the useless run-time checks! Ada range types can have bounds that are known only at run-time. It was not possible with Pascal. To see subtypes in action: another FOSDEM presentation: https://fosdem.org/2025/schedule/event/fosdem-2025-5148-advent-of-compression-writing-a-working-bzip2-encoder-in-ada-from-scratch-in-a-few-days/ https://fosdem.org/2025/schedule/event/fosdem-2025-5148-adve...