Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add Optimizer for .map() operations #423

Open
minborg opened this issue May 3, 2017 · 3 comments
Open

Add Optimizer for .map() operations #423

minborg opened this issue May 3, 2017 · 3 comments
Labels
community request enhancement z-stream
Milestone
Future

Comments

@minborg
Copy link
Contributor

minborg commented May 3, 2017 •
edited by Pyknic 

hare.stream()
    .mapToInt(Hare.ID.getter())

may be optimized to

select id from hare
@minborg minborg added this to the 3.1.0 Homer milestone May 3, 2017
@minborg
Copy link
Contributor Author

minborg commented May 3, 2017

This issue is related to #382

@Pyknic
Copy link
Contributor

Pyknic commented May 3, 2017

I would say that this is two separate enhancement issues. The first one is about optimizing our existing API and the second one is about introducing an API structure for specific selections.

@Pyknic Pyknic mentioned this issue May 3, 2017
Closed
@Pyknic
Copy link
Contributor

Pyknic commented May 3, 2017

Moved the part about extending API to separate issue #424.

@Pyknic Pyknic modified the milestones: 3.1.x_api Homer, Future Apr 3, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
community request enhancement z-stream
Projects
None yet
Milestone
Future
Development

No branches or pull requests
2 participants
@Pyknic @minborg