257m@lemmy.ml to Programming@programming.dev · 1 year agoWhat are your programming hot takes?message-squaremessage-square887fedilinkarrow-up1350arrow-down113
arrow-up1337arrow-down1message-squareWhat are your programming hot takes?257m@lemmy.ml to Programming@programming.dev · 1 year agomessage-square887fedilink
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…
I never said that static typing stops all logic errors or fully proves program correctness, but go off I guess…