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).
Wynke@janneke @carlozancanaro @RosaCtrl There are ways to do this. I wrote my Master's thesis about a language designed for it. Talk to me about it when we next meet if you want (although it's multiple decades ago so I'm a bit rusty on the subject).