Geoffrey Churchill

insertInStream should work for infinite streams

3

The entire stream shouldn't be greedily consumed if we only need a finite prefix. Code: https://github.com/eugenp/tutorials/blob/950bbadc353bdca114befc98cf4a18476352220e/core-java-modules/core-java-streams-2/src/test/java/com/baeldung/streams/StreamAddUnitTest.java#L44 Conclusion should be updated: https://www.baeldung.com/java-stream-append-prepend#conclusion

Hi Markus, I really liked the simple but effective `mi_list3` from the acomip chapter. It's already in difference list form, so it can of course be rewritten using DCGs (and...