257m to Programming@programming.dev • 10 months agoWhat are your programming hot takes?message-square883fedilinkarrow-up1348
arrow-up1348message-squareWhat are your programming hot takes?257m to Programming@programming.dev • 10 months agomessage-square883fedilink
minus-squareDigital MarklinkfedilinkEnglish2•10 months agoThere’s some math & CS papers you should read, Gödel’s incompleteness theorem, Turing’s halting problem. YOU CANNOT prove your way out of logic errors. You cannot make a universal type system. All you’re doing is wasting time with false confidence.
minus-square@colonial@lemmy.worldlinkfedilink2•10 months agoI never said that static typing stops all logic errors or fully proves program correctness, but go off I guess…
There’s some math & CS papers you should read, Gödel’s incompleteness theorem, Turing’s halting problem. YOU CANNOT prove your way out of logic errors. You cannot make a universal type system. All you’re doing is wasting time with false confidence.
I never said that static typing stops all logic errors or fully proves program correctness, but go off I guess…