HNGlance

Top Best New Show

A programming language agnostic type construction and interchange language

http://typedefs.com/

by mafm • 7 years ago

34 4 7 years ago

TY

Related Stories

Loading related stories...

Comments

4

rendall• 7 years ago

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

https://xkcd.com/927/

profquail2• 7 years ago

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

mafm• 7 years ago

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.

profquail2• 7 years ago

Check out ATerms, it’s a storage (and in-memory representation) designed for storing ADTs: https://github.com/cwi-swat/aterms

Source preview

typedefs.com

HNGlance

© 2024-2026 HN Glance. Story content belongs to its original sources.

Privacy
Terms