Badly-read literary snobFeb 28
Is reading and understanding code the same as executing the code?
Yes
4.8%
No
95.2%
Poll ended at .
Show threadCarlo ZancanaroFeb 28
@RosaCtrl If it was, we wouldn't need types or static analysis.
Show threadJannekeFeb 28
@carlozancanaro @RosaCtrl
If it was, a computer would be intelligent.
Show threadJannekeFeb 28
@carlozancanaro @RosaCtrl
And also, I have been known to understand a program and find it elegant and correct, while the computer disagreed...
Show threadJannekeFeb 28
@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).
Show threadWynke
@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).
Mar 1 at 12:39pmWeb
Show threadJannekeMar 1
@wynke @carlozancanaro @RosaCtrl
That sounds lovely!
Show threadJoost van Baal-IlićMar 1
@wynke @janneke @carlozancanaro @RosaCtrl lean and rocq are mathemical theorem provers, guess your thesis was about that or related?
Show threadWynkeMar 1
@joostvb @janneke @carlozancanaro @RosaCtrl Automath. I'll check if I have a (digital or paper) copy somewhere.