And some languages that perform array bounds check on each array deindex operation, which basically stops some of the above even if the optimizer can do all of

And some languages that perform array bounds check on each array deindex operation, which basically stops some of the above even if the optimizer can do all of it. Crystal is an example of that, where it would be possible and quite straightforward to write a specialized matrix class instead of the very generic dynamic array implementation.