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

Define small-step semantics for query execution #12

Open

mstn opened this issue Jul 16, 2016 · 0 comments

Labels

M

Milestone

Sprint 02 - small...

Owner

mstn commented Jul 16, 2016 •

edited

Loading

Currently, we defined a sort of big step semantics for query execution. It seems convenient to follow a small-step approach.

Easier to formalise the concept of stuck execution
Different queries could in theory be executed in parallel and return partial results to the client
"Lazy loading", i.e. deferring and streaming.

EDIT - added "lazy loading"
New upcoming GraphQL features (e.g. @defer, @stream) allow a sort of lazy loading. Reference

mstn modified the milestone: Sprint 02 - going wild

mstn added the M label

mstn mentioned this issue

Formal abstract semantics for GraphQL #7

Open

21 tasks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment