I don't think 1-based arrays are better notation, even completely ignoring that code has to run on a machine. 99% of the times, the correct approach is to use

I don't think 1-based arrays are better notation, even completely ignoring that code has to run on a machine. 99% of the times, the correct approach is to use iterators. When you really need indices (and you almost never do), 0 is more practical, because it matches the "including start, not including end" convention.