I am submitting relatively lots of data from a mobile application (up to 1000 JSON objects), that I would normally encode like this:
[{ id: 12, score
JSONH, aka hpack, https://github.com/WebReflection/JSONH does something very similar to your example:
[{ id: 12, score: 34, interval: 5678, sub: 9012 }, { id: 98, score: 76, interval: 5432, sub: 1098 }, ...]
Would turn into:
[["id","score","interval","sub"],12,34,5678,9012,98,76,5432,1098,...]