Chad J wrote: > Denis Koroskin wrote: >> Agree, "advance" would be a better name, though (imo). > > Same, it seems BETTER. Though, it seems like it's suboptimal as well. > As I understand it we aren't so much moving rightward a head that's > reading a tape, but instead we are incrementally chopping off the > leftmost elements until none are left. So it is possible (though not > intuitive) to draw analogies and write metaphors: we are advancing our > knife each time we chop off a bit of carrot. > > Anyways, while technically incorrect as far as I can tell, it isn't > aesthetically displeasing to me, so in some odd way I am alright with > next. > > Hmmm... maybe "chop" is a good word for this... > > - Chad
That's why I suggested "advanceFront" and "retreatBack." I don't think there's a single, short word to exactly express the concept "move the front of a view of some sequence one element towards the end." -- Daniel
