mikidep@lemmy.world to Programmer Humor@programming.dev · 1 年前We did this to ourselveslemmy.worldimagemessage-square42fedilinkarrow-up1125arrow-down112
arrow-up1113arrow-down1imageWe did this to ourselveslemmy.worldmikidep@lemmy.world to Programmer Humor@programming.dev · 1 年前message-square42fedilink
minus-squareTJmCAwesome@feddit.nulinkfedilinkarrow-up6·1 年前It’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-up3arrow-down1·1 年前yeah 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