3 ms·

Ada has subtypes for such cases: https://en.wikibooks.org/wiki/Ada_Programming/Type_System#Constrained_subtype https://en.wikibooks.org/wiki/Ada_Programming/Typ

• Uberphallus 8y ago
  And checks on compile time are quite insightful, Ada tends to know beforehand if you're gonna run out of bounds.