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:
<a href="https://github.com/cwi-swat/aterms" rel="nofollow">https://github.com/cwi-swat/aterms</a>
14 languages? That's ridiculous. We need to develop one universal language that covers everyone's use cases.<p><a href="https://xkcd.com/927/" rel="nofollow">https://xkcd.com/927/</a>