A programming language agnostic type construction and interchange languagetypedefs.com 34 pointsmafm7 years ago4 commentsSaveHideCopy link On HNComments−mafmOP7yThe 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.−profquail7yCheck out ATerms, it’s a storage (and in-memory representation) designed for storing ADTs: https://github.com/cwi-swat/aterms−profquail7yThis is an interesting idea, but I don’t see what’s different about it compared to ATerms: https://github.com/cwi-swat/aterms−rendall7y14 languages? That's ridiculous. We need to develop one universal language that covers everyone's use cases.https://xkcd.com/927/
Comments
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.
Check out ATerms, it’s a storage (and in-memory representation) designed for storing ADTs: https://github.com/cwi-swat/aterms
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/