from Hacker News

A programming language agnostic type construction and interchange language

by mafm on 3/26/19, 2:27 AM with 4 comments

• by mafm on 3/26/19, 12:57 PM

  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.

• by profquail on 3/26/19, 11:11 AM

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

• by rendall on 3/26/19, 9:21 AM

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

  https://xkcd.com/927/