[etrez]

* 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-adve...