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