Parse, Don't Validate (2019)
lexi-lambda.github.io
Parse, Don't Validate (2019)
1–10 of 288 posts
Re: Parse, Don't Validate (2019)
#2Software Engineers: Parse, don't validate.
Mathematicians: Parsing is validation
Re: Parse, Don't Validate (2019)
#3Software Engineers: Parse, don't validate. Mathematicians: Parsing is validation https://gallais.github.io/pdf/draft_sigbovik21.pdf
The point being, the converse of ‘parsing is validation’ is not true.
Re: Parse, Don't Validate (2019)
#4Software Engineers: Parse, don't validate. Mathematicians: Parsing is validation https://gallais.github.io/pdf/draft_sigbovik21.pdf
The point being, the converse of ‘parsing is validation’ is not true.
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.
Re: Parse, Don't Validate (2019)
#5Software Engineers: Parse, don't validate. Mathematicians: Parsing is validation https://gallais.github.io/pdf/draft_sigbovik21.pdf
Software engineers like efficiently running software.
Mathematicians like beautiful definitions.
Scientists like non-trivial discoveries.
This paper.... uh.... what exactly is it good for?
I suppose it could be kind of nice as some kind of undergraduate paper writing project kind of thing but it looks too professional for that.... I am kind of at a loss why this was written. Maybe it is some strange kind of satire....
Re: Parse, Don't Validate (2019)
#6Previous discussion https://news.ycombinator.com/item?id=21476261
Re: Parse, Don't Validate (2019)
#7Software Engineers: Parse, don't validate. Mathematicians: Parsing is validation https://gallais.github.io/pdf/draft_sigbovik21.pdf
Software engineers like efficiently running software. Mathematicians like beautiful definitions. Scientists like non-trivial discoveries. This paper.... uh.... what exactly is it good for? I suppose it could be kind of nice as some kind of undergraduate paper writing project kind of thing but it looks too professional for that.... I am kind of at a loss why this was written. Maybe it is some strange kind of satire...…
This paper is good for parsing/validating your source code (from the view-point of your compiler/interpreter).
Code is data after all.
Re: Parse, Don't Validate (2019)
#8That's how the validation tool for Python Maat works. By creating a completely new dictionary.
https://github.com/Attumm/Maat
Re: Parse, Don't Validate (2019)
#9Earlier quoted context omitted.
The point being, the converse of ‘parsing is validation’ is not true.
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.
The word “is” is also often used informally to mean “is a kind of”.
Re: Parse, Don't Validate (2019)
#10Earlier quoted context omitted.
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.
The word “is” is also often used informally to mean “is a kind of”.
"A kind of" is precisely its formal use from the PoV of a type theorist.
Two things are the same type of thing if they share all of their extensional properties.
That is what it means for two things to be identical/equal.