3 ms·
A programming language agnostic type construction and interchange language
- rendall 8y ago14 languages? That's ridiculous. We need to develop one universal language that covers everyone's use cases. https://xkcd.com/927/ https://xkcd.com/927/
- profquail 8y agoThis is an interesting idea, but I don’t see what’s different about it compared to ATerms: https://github.com/cwi-swat/aterms https://github.com/cwi-swat/aterms
- mafm 8y agoThe 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.
- profquail 8y agoCheck out ATerms, it’s a storage (and in-memory representation) designed for storing ADTs: https://github.com/cwi-swat/aterms https://github.com/cwi-swat/aterms