GraphQL introduced a powerful idea — the ability to invoke multiple methods in a single call, and more importantly, the ability to invoke methods based on the results of other methods. However, we feel that the design of GraphQL is not quite right. Some crucial points are missing and some features should be removed or implemented at different layers of the stack.
First of all, with GraphQL it is not possible to invoke methods on collections. When we specify a query for a collection, it is executed on the elements of the collection, but not on the collection itself. To solve this issue, it is necessary to introduce some additional models, as Relay does with the Connections. We think that such a solution adds complexity and confusion.
For example, take the following query:
{
movies(genre: "comedy") {
averageRating
}
}
Does averageRating
refer to the movie collection or to a movie element? If we are not familiar with the schema, it is difficult to say.
Another issue is the GraphQL execution model. Having queries executed in parallel seems like a good idea at first, but it has unfortunate consequences for the developer experience. Since the execution order of nested mutations is unpredictable, it is not recommended to do something like this:
{
movie(id: 123) {
update(rating: 8.3)
}
allMovies {
averageRating
}
}
Parallel execution is an optimization matter and we believe it should be under the control of the developer.
Then, there is the way the execution is handled. With GraphQL, it is required to implement resolvers for each operation. This resolver layer seems a little cumbersome to us. When the business layer is implemented in an object-oriented way, why not just directly invoke the methods of the objects? Some would say it is good practice to add an API layer on top of the business layer. Well, we can agree with that. But in any case, we believe that the query execution should not require an additional layer. If some developers want to add an API layer, it is up to them to do so.
Another point is the type system. Providing schemas and types is certainly an important feature, but we believe it should not be included in the core specifications. A fine type system (such as those provided by TypeScript or Flow) should be optional and implemented orthogonally as an extension. Or even better, if types are specified deeper in the backend stack (i.e., in the business layer), an additional type system may not be necessary.
Finally, let's question the very nature of GraphQL: the fact that it is a language. Do we really need another language, though? The GraphQL language makes queries prettier, but is it worth it? Adding a new language to the stack is no small matter, as it merely adds complexity when connecting it to an actual programming language — both on the frontend and backend sides.
We love the main idea behind GraphQL, especially the ability to compose method calls, but we think there may be a better way to achieve this goal. That is why we wrote Deepr.
Deepr | GraphQL | REST | |
---|---|---|---|
Root queries | âś… | âś… | âś… |
Deep queries | âś… | âś… | |
Sequential queries | âś… | ||
Parallel queries | âś… | âś… | âś… (2) |
Aliases | âś… | âś… | |
Unnesting | âś… | ||
Root mutations | âś… | âś… | âś… |
Deep mutations | âś… | ||
Collections | âś… | âś… | âś… |
Collection items | âś… | âś… | |
Collection slices | âś… | ||
Source values | âś… | ||
No additional layer | âś… | ||
Type system | (1) | âś… | |
Introspection | (3) | âś… | |
No extra language | âś… | âś… | |
Subscriptions | (1) | âś… |
- We believe these features should be implemented at another layer of the stack.
- REST parallel queries are possible with HTTP/2.
- Introspection might come later in the form of an extension.
Deepr does not specify the use of a particular language. So, although the following examples are written in JSON, keep in mind that any language could be used.
Note: To fully appreciate this guide, it is recommended to have a minimum knowledge of GraphQL.
Let's start with a simple query:
{
"movie": {
"title": true,
"year": true
}
}
Here we are querying an object called movie
in the top-level context (the "root").
Then, inside the context of movie
, we are getting title
and year
fields.
The response will be:
{
"movie": {
"title": "Inception",
"year": 2010
}
}
So far, it looks like GraphQL. Since we are using JSON objects, the only significant difference is that we must specify a value for the keys title
and year
. Specifying true
means that we want to return the corresponding field.
Instead of querying a single movie, let's query a collection of movies:
{
"movies": {
"count": true
}
}
Nothing surprising here, we are just querying the count
field on the movies
collection. The query will return:
{
"movies": {
"count": 2
}
}
Now, you might ask yourself, how can I reach the items of the movies
collection? That is easy:
{
"movies": {
"[]": [],
"title": true,
"year": true
}
}
By using the special key []
, we specify that the context of the query is the items of the collection rather than the collection itself. We get the following response:
{
"movies": [
{
"title": "Inception",
"year": 2010
},
{
"title": "The Matrix",
"year": 1999
}
]
}
The value associated with the special key []
can be an empty array, an array of one or two numbers, or a simple number.
With an empty array (such as in the previous example), we get all the items of a collection.
With an array of numbers, we get a slice of a collection in a similar way to the slice()
method in JavaScript. For example, to get the first two items of the movies
collection, we can use the following query:
{
"movies": {
"[]": [0, 2],
"title": true,
"year": true
}
}
We get the following response:
{
"movies": [
{
"title": "Inception",
"year": 2010
},
{
"title": "The Matrix",
"year": 1999
}
]
}
To get the last two items of a collection, we can use a negative index:
{
"movies": {
"[]": [-2],
"title": true,
"year": true
}
}
Finally, to get a particular item in a collection, we can use a simple number. For example, to get the first item of the movies
collection, we can write:
{
"movies": {
"[]": 0,
"title": true,
"year": true
}
}
Note that in this case the item is returned directly, and it is not embedded in an array like in the previous examples:
{
"movies": {
"title": "Inception",
"year": 2010
}
}
Now, let's see how to query both a collection and its items:
{
"movies": {
"count": true,
"=>items": {
"[]": [],
"title": true,
"year": true
}
}
}
Using the key "=>items"
means that we take the current context (the collection of movies) and we put it under a new key called items
(more explanation on this topic later). As a result, we get the following:
{
"movies": {
"count": 2,
"items": [
{
"title": "Inception",
"year": 2010
},
{
"title": "The Matrix",
"year": 1999
}
]
}
}
So far, we have seen how to query fields. Let's now see how to invoke methods:
{
"getMovie": {
"()": [{"id": "abc123"}],
"title": true
}
}
The special key ()
indicates that we want to invoke the getMovie
method with the parameters specified in the corresponding array.
We get the following result:
{
"getMovie": {
"title": "Inception"
}
}
We have seen previously some examples involving the arrow symbol =>
; let's now go into the details of this powerful feature.
Object keys are made of two parts, a "source" and a "target", separated by the arrow symbol =>
.
- The "source" is the method or the field name, evaluated in the current context.
- The "target" is the place where to put the result of the evaluation in the response.
Source, target, or both can be omitted, producing slightly different results. Let's check the five possible variants.
If there is no arrow symbol it means that source and target are the same. This is the most frequent use-case, when the response structure mirrors exactly the query structure.
{
"movie": {
"title": true
}
}
Note: The key
title
could be expressed bytitle=>title
; it would work too.
Not surprisingly, this will return something like this:
{
"movie": {
"title": "Inception"
}
}
If source and target are different, the result of the evaluation of sourceKey
will appear under a key called targetKey
in the response.
For example createdAt=>date
key means the createdAt
field value will appear under a key called date
in the response.
You can think about it as a way to create aliases, similarly to the GraphQL's aliasing feature.
By using aliases, it is possible to execute a method more than once with different parameters, avoiding name collisions inside the result.
For example, in the following query, we first call the getMovies
method and assign the result to actionMovies
, then we call the same getMovies
method, with different parameters, and assign the result to dramaMovies
.
{
"getMovies=>actionMovies": {
"()": [{"filter": {"genre": "action"}}],
"=>": {
"[]": [],
"title": true
}
},
"getMovies=>dramaMovies": {
"()": [{"filter": {"genre": "drama"}}],
"=>": {
"[]": [],
"title": true
}
}
}
Doing this we get both actionMovies
and dramaMovies
results in the response, like this:
{
"actionMovies": [
{
"title": "Inception"
},
{
"title": "The Matrix"
}
],
"dramaMovies": [
{
"title": "Forrest Gump"
}
]
}
If the source is omitted, it means the current context will be re-used in the response as it is, without any processing.
For example, in the following query, =>items
means we take the current context and put it inside an object whose key is items
. Basically, we are nesting the current context one level deeper, under a new key.
{
"movies": {
"count": true,
"=>items": {
"[]": [],
"title": true
}
}
}
Doing this, we can query both a collection and its items to produce results such as:
{
"movies": {
"count": 2,
"items": [
{
"title": "Inception"
},
{
"title": "The Matrix"
}
]
}
}
If the target is omitted, it means that the evaluation of a method (or field) does not generate a new object. We call this feature "Unnesting".
For example, if we are only interested in the title of the movie we found, we can do this:
{
"movie": {
"title=>": true
}
}
Because we use the key "title=>"
instead of "title"
, the key title
is absent from the response:
{
"movie": "Inception"
}
Lastly, we can remove both the source and the target from the key expression, leaving alone the arrow symbol =>
.
In this case, we do not process the current context (no source) and we are not creating new keys in the response (no target).
The =>
can be interpreted as a way to introduce the result of a function call.
In the following query, we retrieve a movie by its id
, and we return title
and year
fields in the response.
{
"getMovie": {
"()": ["cjrts72gy00ik01rv6eins4se"],
"=>": {"title": true, "year": true}
}
}
Note that the following query is exactly the same:
{
"getMovie": {
"()": ["cjrts72gy00ik01rv6eins4se"],
"title": true,
"year": true
}
}
Both queries will produce the following response:
{
"getMovie": {
"title": "Inception",
"year": 2010
}
}
This feature is particularly useful to access the items of a collection. For example:
{
"getMovies": {
"()": [{"filter": {"country": "USA"}}],
"=>": {
"[]": [],
"title": true
}
}
}
Will output:
{
"getMovies": [
{"title": "Inception"},
{"title": "The Matrix"},
{"title": "Forest Gump"}
]
}
Query objects are evaluated in a recursive way, and for every key the related value can be either:
- the boolean
true
- an object
- an array
Let's see how Deepr handles these three types of values.
The boolean true
means the value of a field will be included as is in the response.
If we query a single movie this way:
{
"movie": {
"title": true,
"year": true
}
}
We get the following result:
{
"movie": {
"title": "Inception",
"year": 2010
}
}
When the value is an object, the execution continues recursively:
{
"movie": {
"director": {
"name": true
}
}
}
As expected, this will produce:
{
"movie": {
"director": {
"name": "George Lucas"
}
}
}
Finally, by using an array, we can specify a sequence of subqueries to be executed in order. For example:
{
"movies": [
{
"getByTitle=>": {
"()": ["Inception"],
"title": true
}
},
{
"getByTitle=>": {
"()": ["The Matrix"],
"title": true
}
}
]
}
Will return:
{
"movies": [{"title": "Inception"}, {"title": "The Matrix"}]
}
If you add a question mark (?
) after the name of a key, then no error will be thrown in case a field or a method is missing during the execution of a query.
For example, the following query will succeed even if the movie has no director:
{
"movie": {
"title": true,
"director?": {
"fullName": true
}
}
}
Rather than throwing an error, this will just return:
{
"movie": {
"title": "Inception"
}
}
Now, let's put into practice what we have just seen to compose a more complex query:
{
"movies": {
"filter=>": {
"()": [{"country": "USA"}],
"sort=>": {
"()": [{"by": "year"}],
"skip=>": {
"()": [5],
"limit=>": {
"()": [10],
"=>": {
"[]": [],
"title": true,
"year": true
}
}
}
}
}
}
}
Despite the fact that we have nested several method calls, this will just return:
{
"movies": [
{
"title": "The Matrix",
"year": 1999
},
{
"title": "Inception",
"year": 2010
}
]
}
So far we have invoked methods that read data without producing any side effects on the server. Let's fix that by executing some simple CRUD operations.
Here is how we could create a record:
{
"movies=>": {
"create=>movie": {
"()": [{"title": "Avatar", "country": "USA"}],
"=>": {"id": true}
}
}
}
Unlike GraphQL, Deepr does not differentiate queries and mutations. So, performing a mutation is just a matter of calling a method.
The query above will return:
{
"movie": {
"id": "cjrts72gy00ik01rv6eins4se"
}
}
Now that we have added a movie, let's retrieve it:
{
"movies=>": {
"get=>movie": {
"()": [{"id": "cjrts72gy00ik01rv6eins4se"}],
"=>": {"id": true, "title": true, "country": true}
}
}
}
This will return:
{
"movie": {
"id": "cjrts72gy00ik01rv6eins4se",
"title": "Avatar",
"country": "USA"
}
}
To modify a record, we can do this with:
{
"movies=>": {
"get=>movie": {
"()": [{"id": "cjrts72gy00ik01rv6eins4se"}],
"update=>": {
"()": [{"rating": 8.1}],
"=>": {"id": true}
}
}
}
}
Note how we use the key "update=>"
instead of "update"
to avoid creating an unnecessary "update"
key in the response:
{
"movie": {
"id": "cjrts72gy00ik01rv6eins4se"
}
}
Finally, here is how we can delete a record:
{
"movies=>": {
"get=>movie": {
"()": [{"id": "cjrts72gy00ik01rv6eins4se"}],
"delete=>": {
"()": [],
"id": true
}
}
}
}
This will produce the following result:
{
"movie": {
"id": "cjrts72gy00ik01rv6eins4se"
}
}
Sometimes it is useful to execute a query from a source value. To do so, we can use the "<=" key.
Using this feature, the previous example for creating a movie could be written as follows:
{
"<=": {"_type": "Movie", "title": "Avatar", "country": "USA"},
"save=>movie": {
"()": [],
"id": true
}
}
As before, this will return:
{
"movie": {
"id": "cjrts72gy00ik01rv6eins4se"
}
}
Contrary to GraphQL, the default execution model of Deepr is sequential. So when a query is composed of several subqueries, the subqueries are executed one by one from top to bottom.
To specify that some subqueries should be executed in parallel, you can use the special key ||
and list each subquery in an array.
For example, the following query will execute the getMovie()
method two times in a concurrent way:
{
"||": [
{
"getMovie": {
"()": [{"id": "abc123"}],
"title": true
}
},
{
"getMovie": {
"()": [{"id": "def456"}],
"title": true
}
}
]
}
The result is returned as follows:
[
{
"getMovie": {
"title": "Inception"
}
},
{
"getMovie": {
"title": "The Matrix"
}
}
]
This guide would not be complete without demonstrating another common use case: the ability to query relationships between collections. It is actually pretty straightforward. Here is how we can fetch some movies with their related actors:
{
"getMovies=>movies": {
"()": [{"filter": {"country": "USA"}}],
"=>": {
"[]": [],
"title": true,
"year": true,
"getActors=>actors": {
"()": [{"sort": {"by": "popularity"}, "limit": 2}],
"=>": {
"[]": [],
"fullName": true,
"photoURL": true
}
}
}
}
}
This will return:
{
"movies": [
{
"title": "Inception",
"year": 2010,
"actors": [
{
"fullName": "Leonardo DiCaprio",
"photoURL": "https://www.imdb.com/name/nm0000138/mediaviewer/rm487490304"
},
{
"fullName": "Joseph Gordon-Levitt",
"photoURL": "https://www.imdb.com/name/nm0330687/mediaviewer/rm1175888384"
}
]
},
{
"title": "The Matrix",
"year": 1999,
"actors": [
{
"fullName": "Keanu Reeves",
"photoURL": "https://www.imdb.com/name/nm0000206/mediaviewer/rm3751520256"
},
{
"fullName": "Laurence Fishburne",
"photoURL": "https://www.imdb.com/name/nm0000401/mediaviewer/rm1925683200"
}
]
}
]
}
We do not believe that subscriptions should be included in the core specifications of Deepr. We acknowledge it is an important feature, though, and it might be added later in the form of an extension.
To execute a Deepr query, you need a runtime.
Here is the reference runtime implemented in TypeScript:
- JavaScript/TypeScript: https://github.com/deeprjs/deepr/tree/master/packages/runtime
The community is free to implement alternative runtimes.
Here is the first runtime implemented by the community:
Although pretty stable, Deepr is a work in progress, and formal specifications still have to be written.
Submarine by Andrejs Kirma from the Noun Project.
MIT