News for hackers. Stuff that matters.
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

There are no comments on this comment yet.