3 ms·
> If the array index range is [-1, 4[, but the client sums over [1, 4[, then this is wrong. So you cannot loop over a subset of the indices? That seems restric
by ChrisRackauckas 4y ago
> If the array index range is [-1, 4[, but the client sums over [1, 4[, then this is wrong.
So you cannot loop over a subset of the indices? That seems restrictive.
- practal 4y agoYou can do whatever you want. You just need to prove that it is correct. I guess I wasn't as clear as I hoped I would be. I don't think the Array indexing issue can be dealt with by (just) improving its interface specification. I think the proper fix for this is beyond what can reasonably be done in any language that doesn't come with a notion of correctness and proof.