mikidep@lemmy.world to Programmer Humor@programming.dev · 1 year agoWe did this to ourselveslemmy.worldimagemessage-square39fedilinkarrow-up1121
arrow-up1121imageWe did this to ourselveslemmy.worldmikidep@lemmy.world to Programmer Humor@programming.dev · 1 year agomessage-square39fedilink
minus-squareTJmCAwesome@feddit.nulinkfedilinkarrow-up6·1 year agoIt’s making fun of dynamic languages because rather than letting the compiler prove theorems about statically typed code, they… don’t.
minus-squaregandalf_der_12te@feddit.delinkfedilinkarrow-up3·1 year agoyeah yeah, thanks, i get it. It was more of an ironic “what”
It’s making fun of dynamic languages because rather than letting the compiler prove theorems about statically typed code, they… don’t.
yeah yeah, thanks, i get it. It was more of an ironic “what”
What