The Zephyr ASDL schema language, which gives you sum types, originally had a binary encoding. I think it was ASN.1. And a few years ago, I experimented with a

The Zephyr ASDL schema language, which gives you sum types, originally had a binary encoding. I think it was ASN.1. And a few years ago, I experimented with a different binary encoding to move data described by such schemas between processes. I'm not currently using it, but it may come back in the future. Analogies for ASDL https://www.oilshell.org/blog/2016/12/16.html https://www.oilshell.org/blog/2016/12/16.html (making the analogy to protobufs and JSON) https://www.oilshell.org/blog/tags.html?tag=ASDL#ASDL https://www.oilshell.org/blog/tags.html?tag=ASDL#ASDL