Ada has the notion of attributes applying to types and variables, to access related properties. Among those, there are attributes to get the starting and ending indexes of an array. So it's possible to program completely generic array processing, independent of the underlying choice or range for the array. All this from memory, and it's been a long time...
How do you multiply two matrices that use different indexing? Ignore the indexing differences?
It's also problematic when different libraries use different conventions (0-based vs 1-based). Can you use the output of one such library to feed another?