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
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4