On Friday, 27 November 2015 at 09:20:23 UTC, Jonathan M Davis
wrote:
I'm starting to think that it would be better to have pure
input ranges have to be reference types and forward ranges have
to be value types and then be very careful about which
functions work with both rather than simply treating all
forward ranges like pure input ranges that can also be copied
via save.
Another piece of this puzzle to consider is that unless a range
is a value type (or at least acts like a value type as long as
you don't mutate its elements) or has save called on it, then it
fundamentally doesn't work with lazy ranges. So, at minimum, we
need to consider making it so that lazy ranges require forward
ranges (and then, assuming that we continue to have save, the
lazy ranges need to always call save on the range that they're
given).
- Jonathan M Davis
