Parse, Don't Validate (2019)

Re:Parse, Don't Validate (2019) by ukj on Saturday June 26, 2021 @04:33AM (#27640203)

I am talking about the polymorphic use of the verb "is" during the process of formalization.

"Red is a color" can be formalized as "Red is a type of color" or "Red is member of set Colors".

You can't formalize "Color is red" because it doesn't mean anything.

When I say "Parsing is validation" I am using the verb "is" to mean an isomorphism.

[ Parent | on HN ]

Re:Parse, Don't Validate (2019) by thereare5lights on Sunday June 27, 2021 @06:33PM (#27656103)

Judging by all the other disagreeing comments, your in some sort of idiosyncratic context that only you understand.

Good luck with that.

[ Parent | on HN ]