5 ms·
You are tripping up over polymorphism. "Is" means many things - which meaning you infer is precisely parsing! "A square is a rectangle" means "A square is a TY
by ukj 5y ago
You are tripping up over polymorphism. "Is" means many things - which meaning you infer is precisely parsing!
"A square is a rectangle" means "A square is a TYPE of rectangle" (at least, that is what I am parsing it as).
"Parsing is Validation" means Parsing is isomorphic to Validation.
How do I know? Because that is how I want you to parse it.
- pwdisswordfish8 5y ago> 'When I use a word,' Humpty Dumpty said in rather a scornful tone, 'it means just what I choose it to mean — neither more nor less.'
- ukj 5y ago+∞ parse verb. resolve (a sentence) into its component parts and describe their syntactic roles. In computer science what we do is precisely syntax analysis. Determining the meaning of operators. Mathematicians have the exact same problem with respect to the equality operator. https://ncatlab.org/nlab/show/equality#DifferentKinds https://ncatlab.org/nlab/show/equality#DifferentKinds
- jhgb 5y ago> "A square is a rectangle" means "A square is a TYPE of rectangle" (at least, that is what I am parsing it as). In that case your former statement that 'The word "is" implies an isomorphism' seems to be wrong.
- ukj 5y agoIt may be wrong in your model/interpretation of my words, but it's not wrong in my interpretation of my words.
- jhgb 5y agoIn what interpretation is it consistent for 'A square is a rectangle" means "A square is a TYPE of rectangle"' and 'The word "is" implies an isomorphism' to be simultaneously true? No matter how I cut it, the latter seems to prevent the former to me.