search

ericniebler / stl2

LaTeX and Markdown source for the Ranges TS/STL2 and associated proposals
88 stars 8 forks source link

WeaklyIncrementable wording for operator++ #124

Open ericniebler opened 9 years ago

ericniebler commented 9 years ago

Currently says, "moves to the next element" which is vague to the point of meaninglessness. Can we do better? Suggested during the 2015-09-10 ranges telecon:

CaseyCarter commented 8 years ago

Our Weaklylncrementable concept with ++ operation is almost identical to EoP's Iterator concept with the successor pseudo-transformation. EoP doesn't ascribe any special semantics to successor beyond the fact that it's a (possibly non-regular, possibly partial) function from T to T. I don't think we need to describe semantics for WeaklyIncrementable's ++ either: that's the job of the concepts that refine it. Why not simply strike bullet 2.2? I prefer nothing at all to a statement without well-defined meaning.