gatherers become an obvious and welcome addition to the Stream API. Java streams model dynamic collections of elements. As the spec says, “A stream is a lazily computed, potentially unbounded ...