News for hackers. Stuff that matters.
Re:Parse, Don't Validate (2019) by pwdisswordfish8 on Saturday June 26, 2021 @04:53AM (#27640298)
> '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.'
Re:Parse, Don't Validate (2019) by ukj on Saturday June 26, 2021 @04:56AM (#27640310)
+∞

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