Has any programming language defined a data-definition subset which is truly lossless and truly a subset? Something like JSON is to Java, but with rigor. The forward compatibility problem is more subtle than it seems, e.g. as Eric Lippert describes:https://ericlippert.com/2009/05/11/reserved-and-contextual-keywords/ …
S-expressions are an example! Yet they don't explore the nuances of e.g. text representations of C#/Java class values in the presence of multiple inheritance, in which new fields with identical names can be forward-compatibly added at two points in the inheritance hierarchy.
-
-
That seems to be a feature, not a bug. :)
-
Ok, so here's the unstated constraint: We'd like to describe nested and linked objects that are instances of types created by multiple authors across multiple modules, which interoperate with robust forward-compatibility/subtyping rules.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.