Not sure I'm a fan. Looking through the examples, I feel like this makes the language much harder to read and follow, but maybe that's just my own brain and biases.
Further, it doesn't seem to me to allow you to do anything you can't currently do with blocking channels and/or state.
What language change are you talking about? This is just a proposed construct to regularise and make efficient something people already do (as you says with “state”).
I’ve used iterators similar to what’s described in this article to avoid allocations in critical code paths, but this would make those much less awkward to use (particularly with the upcoming range iterator language change).
> copush := func(more bool, yield func(V) bool) V {
The main power of Go to me was always quickly being able to read and understand code. This type of coding has a lot of cognitive load to a reader, I feel.
The implementation of Pull may be a bit mysterious to the casual reader, but its usage seems clear enough to me from the function signature. Even without reading the docs I think it’s easy to guess what yield, pull, and stop should do (and how to implement yield). That’s what matters, imo.
Fwiw if you look at the source of some other idiomatic standard library functions you may find their implementation is of similar complexity. That’s the nature of good abstractions, though, they should make tricky things easy to use.
Further, it doesn't seem to me to allow you to do anything you can't currently do with blocking channels and/or state.