Right Sizing Collected Streams

Java’s streaming APIs have a lot of advantages when processing Collections. Their semantics include several good safety guarantees, and the stream operators can be easy to use and compose. The ease of use comes with a bit of cost in the final “termin...