Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Python_Enhancement_Proposal
gptkb:EP |
| gptkbp:adds |
java.util.stream API
|
| gptkbp:author |
gptkb:Stuart_Marks
|
| gptkbp:component |
core-libs/java.util.streams
|
| gptkbp:created |
2023-09-13
|
| gptkbp:goal |
Enable custom intermediate stream operations in Java.
|
| gptkbp:motive |
Allow developers to express custom stream transformations that are not possible with existing intermediate operations.
|
| gptkbp:number |
461
|
| gptkbp:plotSummary |
Introduce stream gatherers, a new type of intermediate operation for the Stream API in Java.
|
| gptkbp:proposedBy |
gptkb:Java_22
Collector-like API for intermediate operations Gatherer interface Stream.gather() method |
| gptkbp:relatedTo |
JEP 269
JEP 365 |
| gptkbp:repository |
https://openjdk.org/jeps/461
|
| gptkbp:status |
Proposed to Target
|
| gptkbp:target |
gptkb:Java_22
|
| gptkbp:title |
gptkb:Stream_Gatherers
|
| gptkbp:bfsParent |
gptkb:Java_SE_22_Edition
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Stream Gatherers (JEP 461)
|