Badly-read literary snobIs reading and understanding code the same as executing the code?
Yes
No
Poll ended at .
Carlo Zancanaro@RosaCtrl If it was, we wouldn't need types or static analysis.
Janneke@carlozancanaro @RosaCtrl
And also, I have been known to understand a program and find it elegant and correct, while the computer disagreed...
And also, I have been known to understand a program and find it elegant and correct, while the computer disagreed...
@carlozancanaro @RosaCtrl
Which is, incidentally, why I dislike mathematics; you cannot generally execute it to be certain it's correct (as opposed to just elegant and seemingly/convincingly correct).
Which is, incidentally, why I dislike mathematics; you cannot generally execute it to be certain it's correct (as opposed to just elegant and seemingly/convincingly correct).
The ol' tealeg 🐡@janneke @carlozancanaro @RosaCtrl I’m reminded of L. Peter Deutsch saying “Lisp ... made me aware that software could be close to executable mathematics.”