World: r4wp

SKIP works with offsets only, it's not related to indexing.

About the only somewhat reasonable use I can come up with for R2's 
behaviour is that to allow writing literal -1 indices in paths (values/-1) 
to access the value preceding the current position.

Yes, I can in this case: "unreasonable thinking" here is the fact 
that the "mathematical model" - in this case the numbering of positions 
in series differs substantially from the properties of the object 
it is modelling - in this case there is a difference between the 
"no-gap in the series" versus "gap in the mathematical model".

Also, there is one more mathematical inconsistency: if I "hate zero", 
I simply cannot use negative numbers, otherwise I am being inconsistent.

SKIP works with offsets only, it's not related to indexing.

 - that is not true, in fact. It *is* related to indexing, since we 
 may always use PICK SKIP SERIES N M versus PICK SERIES K and these 
 things are realted, like ir or not.

 in this case the numbering of positions in series differs substantially 
 from the properties of the object it is modelling


Is this again the "inbetween position" vs values counting intepretation 
difference?

No.

No

Ok. :-)

It is because the series values actually are a contiguous concept, 
but their respective indices are not a contiguous space of integers.

Which is, frankly, awful when having to compute with indices with 
integers.

... when having to compute indices with integers*

Numbering positions in a series is, in other words, characterized 
as "mathematically modelling 'positions' in a series". Your "inbetween 
positions" are something that does not exist in the series in fact.

Even if you talk about "inbetween", there is _no_ integer in between 
1 and 2, but there is an integer between -1 and 1.

Tail position is inbetween, underlying implementation details cannot 
change that fact.

Tail position is inbetween - actually not. You can write: INSERT 
TAIL SERIES #"a". You do not insert the character "inbetween", in 
fact.

Also, the SKIP function demonstrates the same behaviour quite well 
and consistently.

tail position

 is actually a misnomer, in as far as it corresponds to no proper 
 index of a series. The special behaviour series seen in some functions 
 when operating on series in "tail position" would warrant "tail mode" 
 as a more sensible description of the state the series is in.

as it corresponds to no proper index of a series

 - I reserve the right to disagree. INDEX? TAIL gives some correspondence

Yes, it gives an index that can I'd consider "improper" for the series, 
in as far as the series does not contain a value at that position.

that is arguable, while the INDEX? TAIL is not arguable, giving actual 
correspondence

A rather meaningless correspondence, though.

Subjective interpretations of series tail position are possible, 
as TAIL position exists without pointing to any value.

(And an index that does not correspond to a value in the series, 
at this point in time.)

It is not meaningless as far as I am concerned. Reson: it would be 
meaningless only if you agreed that INDEX? should not yield a value 
for TAIL

Actually, I can demonstrate that even past-tail indices are meaningful 
for blocks, and I did.

Actually, what I was trying to say is that the discussion of "tail 
position" unnecessarily clouds the discussion.

http://www.rebol.com/r3/docs/concepts/series-traversing.html


The first position of the block is called its head. This is the position 
occupied by the word red. The last position of the block is called 
its tail. This is the position immediately after the last word in 
the block. If you were to draw a diagram of the block, it would look 
like this: [...] Notice that the tail is just past the end of the 
block.

Too bad the images are missing...

Well, that is arguable....

(I meant that as a reaction to Andreas' contrib above)

Yes, that's certainly arguable. I say that because I think that "head 
position" and "tail position" sound like dual concepts, whereas they 
are not.

Image is here:
http://www.rebol.com/docs/core23/rebolcore-6.html#section-1.1

The first position of the block is called its head.
 - that is actually false

Hasn't Carl wrote that? :-)

(It would be true only if we defined "the first position" to be compatible 
with the sentence)

Or, in a special case.

(like one example...)

Frankly, I do not care who wrote what.

Hehe. Note that it's "the first position" with plain english first, 
not "the <tt>first</tt> position" with first as reference to the 
FIRST native.

the first position of the block is called its head

 is true if we define "the first position is the position with INDEX? 
 = 1"

Yes.

Which differs from the notion used by FIRST.

which is what I meant by "It would be true if we defined..."

To be clear we should write "the position of the block with INDEX? 
= 1 is called its head"

Or we should come up with better nomenclature :)

Any other consistent nomenclature would do as well.

>> head? []          
== true
>> tail? []
== true
>> first []
** Script Error: Out of range or past end
** Where: halt-view
** Near: first []

Do you consider R2's nomenclature to be particularly consistent and 
simple?

I think you (Ladislav) generally reduce R2's nomenclature to an offset-based 
interpretation?

(i.e. "SKIP-based")