257m@lemmy.ml to Programming@programming.dev · 1 year agoWhat are your programming hot takes?message-squaremessage-square906fedilinkarrow-up1353arrow-down114
arrow-up1339arrow-down1message-squareWhat are your programming hot takes?257m@lemmy.ml to Programming@programming.dev · 1 year agomessage-square906fedilink
minus-squareDigital Mark@lemmy.mllinkfedilinkEnglisharrow-up2arrow-down1·1 year 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-squarecolonial@lemmy.worldlinkfedilinkarrow-up2arrow-down1·1 year 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…