in the readme some very interesting definitions of subset classis is given:
One language is a static subset (<S) of another if every program statically accepted by the smaller language is also statically accepted by the larger language with the same meaning.
One language is a dynamic subset (<D) of another if non-erroneous execution of code in the smaller language operates the same way in the larger language. The smaller language may treat some dynamic cases as errors that the larger language would not consider errors. Programs in the smaller language whose correctness relies on these errors, even if it does not provoke them itself, would generally become incorrect as programs in the larger language.
One language is absorbed (<A) by another if code in the smaller language can be run as code in the larger language without modification.
A smaller language which is not absorbed may often be transpiled (<T) into the larger language by source-to-source transformation.
it seems apparent that Transpiled is a broader subset than Absorbed, and that Dynamic is a boarder set than Static. So if something is Aborbed, there is no need for it to be Transpiled, and if something is a Static subset then it's not Dynamic.
so should JSON <SA Jessie <DAT TinySES <SA SES <DA ES-strict <SDA EcmaScript
really be JSON <SA Jessie <DA TinySES <SA SES <DA ES-strict <DA EcmaScript? or are you saying that some programs in the language and S but other are D?
in the readme some very interesting definitions of subset classis is given:
One language is a static subset (<S) of another if every program statically accepted by the smaller language is also statically accepted by the larger language with the same meaning.
One language is a dynamic subset (<D) of another if non-erroneous execution of code in the smaller language operates the same way in the larger language. The smaller language may treat some dynamic cases as errors that the larger language would not consider errors. Programs in the smaller language whose correctness relies on these errors, even if it does not provoke them itself, would generally become incorrect as programs in the larger language.
One language is absorbed (<A) by another if code in the smaller language can be run as code in the larger language without modification.
A smaller language which is not absorbed may often be transpiled (<T) into the larger language by source-to-source transformation.
it seems apparent that Transpiled is a broader subset than Absorbed, and that Dynamic is a boarder set than Static. So if something is Aborbed, there is no need for it to be Transpiled, and if something is a Static subset then it's not Dynamic.
so should
JSON <SA Jessie <DAT TinySES <SA SES <DA ES-strict <SDA EcmaScriptreally beJSON <SA Jessie <DA TinySES <SA SES <DA ES-strict <DA EcmaScript? or are you saying that some programs in the language and S but other are D?