←back to thread

Parse, Don't Validate (2019)

(lexi-lambda.github.io)
389 points melse | 4 comments | | HN request time: 0.612s | source
Show context
ukj ◴[] 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 #
1. cjfd ◴[] No.27640121[source]
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....

replies(3): >>27640128 #>>27640232 #>>27640239 #
2. ukj ◴[] No.27640128[source]
This paper is good for parsing/validating your source code (from the view-point of your compiler/interpreter).

Code is data after all.

3. squiddev ◴[] No.27640232[source]
It's written for sigbovik 2021 [1][2], which is very much a joke conference. Other papers this year were "Lowestcase and Uppestcase letters: Advances in Derp Learning" and "On the dire importance of mru caches for human survival (against Skynet)".

[1]: http://www.sigbovik.org/ [2]: http://www.sigbovik.org/2021/proceedings.pdf

4. m3koval ◴[] No.27640239[source]
SIGBOVIK is a parody of computer science conferences. It's a running joke hosted on April Fools Day every year at CMU - and apparently a quite convincing one. ;-)

Source: I attended SIGBOVIK a few times in grad school.