fumieval
commented
2 years ago 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
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.