mikidep@lemmy.world to Programmer Humor@programming.dev · 2 years agoWe did this to ourselveslemmy.worldimagemessage-square16linkfedilinkarrow-up183
arrow-up183imageWe did this to ourselveslemmy.worldmikidep@lemmy.world to Programmer Humor@programming.dev · 2 years agomessage-square16linkfedilink
minus-squareTJmCAwesome@feddit.nulinkfedilinkarrow-up1·2 years agoIt’s making fun of dynamic languages because rather than letting the compiler prove theorems about statically typed code, they… don’t.
It’s making fun of dynamic languages because rather than letting the compiler prove theorems about statically typed code, they… don’t.