3 ms·
You don't need additional nodes. The syntax of Arc' is still context-free. Paren types can be checked on-the-fly during parsing and never have to enter the AS
by dfranke 19y ago
You don't need additional nodes. The syntax of Arc' is still context-free. Paren types can be checked on-the-fly during parsing and never have to enter the AST.
- brlewis 19y agoLucky for Arc' programmers. They don't need to worry about paren types for expanded macros. OK, so you added complexity by making the reader more complex. I still think the evaluator has to be different for this to be a meaningful example.
- dfranke 19y agoWhat? Why would I want to introduce more differences? That the languages are so similar is the strength of the argument. Identical concision, different power, QED.
- brlewis 19y agoI don't want more differences, just difference in a different place. You could have, for example, defined Arc'' as identical to Arc except gzip-compressed. Once you have a parse tree, Arc, Arc' and Arc'' are identical, but Arc'' is actually more concise. But that's useless, because nobody is saying conciseness and power are identical. Arc' is no more likely to educate anybody than Arc'' is.