This still just sounds like boring old iterators. Rust and C++ iterators both do all of this.