mikidep@lemmy.world to Programmer Humor@programming.dev · 11 months agoWe did this to ourselveslemmy.worldimagemessage-square17fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1imageWe did this to ourselveslemmy.worldmikidep@lemmy.world to Programmer Humor@programming.dev · 11 months agomessage-square17fedilink
minus-squareTJmCAwesome@feddit.nulinkfedilinkarrow-up0·11 months 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.