A programming language agnostic type construction and interchange language (typedefs.com)

14 languages? That's ridiculous. We need to develop one universal language that covers everyone's use cases.

https://xkcd.com/927/

This is an interesting idea, but I don’t see what’s different about it compared to ATerms: https://github.com/cwi-swat/aterms

The documentation seems to have a lot of off-putting mathy category theory stuff, and it didn't look like there are a lot of practical examples, but it would be cool to have an alternative to protobufs/thrift that can represent ADTs directly.