Open khatchad opened 7 years ago
A problem here is that streams passed to concat()
may not (immediately) terminate. But, their concatenated stream may. See https://docs.oracle.com/javase/10/docs/api/java/util/stream/Stream.html#concat(java.util.stream.Stream,java.util.stream.Stream).
Does it include Efficient multiple-stream concatenation in Java?
Interesting article. This issue is specifically for the concat
operations. Operations such as flatMap()
are already compatible.
See Figure 2 in the paper draft.