[Haskell-cafe] Strongly typed data / API specification librares

[Ignas Vyšniauskas]

Hi cafe,

Does anyone know of any libraries that allow one to describe data /
interfaces (think IDLs), with emphasis on good support for modules,
strong typing and extensibility?

I am thinking in the lines of Thrift[1], Piqi[2], Swagger[3], but with
the core data specification language as decoupled as possible from any
kind of implementation related things (such as actual representation
of data, or RPC / RESTful bindings).

haskell-servant[4] and silk-rest[5] are kind of relevant, but they are
very much oriented towards RESTful APIs.

Sorry if this is slightly off-topic, but I couldn't think anywhere
else to inquire about this.

Thanks,
Ignas


[1]: https://thrift.apache.org/
[2]: http://piqi.org/
[3]: http://swagger.io/
[4]: http://haskell-servant.github.io/
[5]: http://silkapp.github.io/rest/