[BillGoates]

I am starting to think Dijkstra is about the worst thing ever happening to software development.

He arguments that option A is the least ugly one, but forgets that computers have maximum numbers.

According to Dijkstra, you should test if a variable is a valid integer like: 0 <= var < MaxInt + 1. The best possible outcome of such a test would be a compiler error.

His argument that sequences defined as min <= i < (max + 1) because (max + 1) - min = total number of items is just silly. Maybe true for maths, not so for programmers. When reading code, you want to know if the code is valid, not how many items there are in a list. And reading i <= Max instead of i < (max + 1) is simpler.

Secondly, his article is about 0 or 1 based arrays, not random selections. And in case of 1 based arrays, the max = total number of elements.

So option C is best.

About whether 0 or 1 based arrays are better. They both have their uses. 0 based for spatial coordinates, 1 based for lists and character positions.

[thunk]

1) The memo has nothing to do with testing for MAXINT. Just test it inclusively.

2) You frequently want to know the length of a subseq, and you frequently want successive subseq ranges to dovetail.

3) What in the world does rand() have to do with this?

[BillGoates]

1) He is using real world math arguments why computer arrays should be 0 or 1 based. His example seems valid, but once you use Maxint it fails, proving his argument wrong.

2) Yes, but that has nothing to do with anything I wrote. Also calculating the length of a subset out of a 0 or 1 based array is the same, making your point completely irrelevant.

3) Where in the world do you read anything about rand()?

[jongraehl]

For fixed size ints, no rule for mapping pairs of ints to a range of consecutive ints can allow both the empty range and the range of maximal size, e.g. you can't have both "", the empty range, and "0,...,Maxint".

You really need to give up one of the possibilities, or use an extra bit.

[BillGoates]

The upperbound = maxint

The total number of items = maxint + 1

[thunk]

Admirably put.

[thunk]

1) MAXINT is already a special case, so testing inclusively doesn't introduce extra accidental complexity.

2) If you test the upper bound inclusively, then the upper bound of the previous subseq is not the lower bound of the next subseq.

3) I misinterpreted GP. Scratch that :)

[BillGoates]

1) I think you are missing the point. According to Dijkstra you need to test if a var is within a range with i < last + 1. If last = maxint your computer will explode.

2) Sorry, I don't have a clue what you mean. What's the difference between tests on subseqs from 0 or 1 based arrays?

[thunk]

1) I get it. If your array is that big you already have code dealing with array indices approaching MAXINT. Since it's already a special case it's not introducing extra complexity to change your test in that one place.

Edit: When I say "test it inclusively" I mean when last==MAXINT you test i<=last rather than i<last+1. It's a special case.

2) I was assuming the upper bound in your 1-indexed array was inclusive, since it's necessary for your previous point. If that's the case, then when iterating over subseqs you can't just assign the previous upper bound to the next lower bound. That situation occurs frequently, and Dijkstra mentions it in the memo.

[BillGoates]

1) The maxint was just an example and these tests are not limited to arrays. For the same I was talking about bytes. And comparing a byte value against 255 + 1 is still wrong.

So yes, test inclusively, but not only the special cases, but always. It will prevent bugs, make code more readable and give faster code,

Only it's not what Dijkstra advocates.

2) When iterating 20 <= i < 30 or 20 <= i <= 29 the result is the same. At the end of the loop i will be 30, so in both cases the next lower bound = previous upper bound + 1.

While typing I thought of a case where inclusive might be more confusing, When iterating to first + n. Then < would be better than <= first + n - 1.

But I think this has little to do with if 0 or 1 based arrays are better. Only the start is different, after that it's all the same.

[TweedHeads]

"I am starting to think Dijkstra is about the worst thing ever happening to software development."

"0 based for spatial coordinates, 1 based for lists and character positions."

Sums up my thoughts pretty well.

The real reason we do zero-based counting in computers is because of bits, speed and laziness.

[billswift]

And, of course, it provides an easy way to separate REAL PROGRAMMERS (TM) from everybody else.

[TweedHeads]

In the same snarky tone, I'd say it helps to easily identify masochists in a herd of brilliant programmers.