June 5, 2014
12:52 a.m.
Glenn Linderman wrote:
For that kind of thing, you don't need an actual character index, just some way of referring to a place in a string.
I think you meant codepoint index, rather than character index.
Probably, but what I said is true either way.
This starts to diverge from Python codepoint indexing via integers.
That's true, although most programs would have to go out of their way to tell the difference, especially if StringPosition were a subclass of int. I agree that cacheing indexes would be more transparent, though. -- Greg