Binary Specification?

[HuwCampbell]

Looking at this library I see a lot of overlap with Avro's aims, but it looks quite a lot stronger in terms of its types and composability. Is there a binary specification at all one could rely on for porting to other languages?

The other thing one might want to think about is an IDL for specifying schemas.

[fumieval]

There's no written spec about the format, but the implementation of decodeTerm is kinda self-documenting. Namely, it translates a schema into a decoder of the binary representation.

A human-readable language might indeed be useful if one wants to generate code like protobuf. The Pretty instance for Schema is something like that but there's no parser yet