2 ms·
OK, so: "The AST type represents the syntax of the language. Each inhabitant of this type is a representation of an individual program in the language." I agr
by chrisjj 2y ago
OK, so:
"The AST type represents the syntax of the language. Each inhabitant of this type is a representation of an individual program in the language."
I agree.
But my
AST does not "represent the syntax of a programming language"
stands.
Thing != Thing's type.
- evertedsphere 2y agothe first sentence that you quote doesn't mention the term AST or "AST type" at all, the second sentence is clearly talking about terms (i.e. inhabitants of a type) this is meaningless nitpicking over a problem of your own invention
- chrisjj 2y ago> the first sentence that you quote doesn't mention the term ... > "AST type" at all. And nor does the second. "AST type" is soley your addition. > the second sentence is clearly talking about terms (i.e. inhabitants of a type) It is clearly about syntax, as introduced in the first sentence. And that is a feature of the language, not program. Type, not inhabitant of type.