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.
This is an interesting idea, but I don’t see what’s different about it compared to ATerms: https://github.com/cwi-swat/aterms
14 languages? That's ridiculous. We need to develop one universal language that covers everyone's use cases.
https://xkcd.com/927/
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.