Hacker News new | ask | show | jobs
by ukj 1820 days ago
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.

1 comments

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

Good luck with that.