←back to thread

Parse, Don't Validate (2019)

(lexi-lambda.github.io)
389 points melse | 1 comments | 26 Jun 21 07:23 UTC | HN request time: 0.3s | source
Show context
ukj ◴[26 Jun 21 07:47 UTC] No.27639995[source]▶
Software Engineers: Parse, don't validate.

Mathematicians: Parsing is validation

https://gallais.github.io/pdf/draft_sigbovik21.pdf

replies(3): >>27640078 #>>27640121 #>>27640235 #
pwdisswordfish8 ◴[26 Jun 21 08:05 UTC] No.27640078[source]▶
The point being, the converse of ‘parsing is validation’ is not true.
replies(2): >>27640111 #>>27641094 #
ukj ◴[26 Jun 21 08:13 UTC] No.27640111[source]▶
The word "is" implies an isomorphism.

If you see it differently you are implicitly assuming a non-formalist perspective on what "validation" means. Tell us about it.

replies(4): >>27640132 #>>27640147 #>>27640155 #>>27640177 #
1. ◴[26 Jun 21 08:24 UTC] No.27640155[source]▶