Servant-inspired typesafe API

[farnoy]

This is an early draft but is usable and I made specs test it too.

We could more easily generate introspection data from this notation. Adding __typename under every Object type would also be easier, but would still depend on user-supplied values (unless we could cast Haskell types to Symbols and then strings).

One downside so far is that it's not possible to define friends from the SWAPI recursively, not sure how to solve it yet.

WDYT? Is this direction worth pursuing?

[jdnavarro]

This approach is very interesting and I think it's worth pursuing, but this would deviate too much from the initial intention of this project, which is just a Haskell port of the reference JS implementation.

But I don't want to discourage you, so please continue this path on your own fork, and feel free to reach me with any doubts. Although right now I can't focus too much on it, I hope in the future I'll be able to spend more time on this.

[farnoy]

I do not mean to have this approach replace the original one. It was merely an experiment I meant to build on top of the value level already provided by the library.

We should, however, come up with some specification to provide the value level functions some form of type annotations / naming. I'm not sure what exactly would be required (to implement introspection in the future). One thing we would need is, for example, the type name. We could do it like this:

-- old
object "movie" [ scalar ... ]
-- new
object "movie" "Movie" [ scalar ... ]

I understand you're busy, but agreeing on a way to pass all the required stuff in would be helpful to coordinate work.