mikidep@lemmy.world to Programmer Humor@programming.dev · 1 year agoWe did this to ourselveslemmy.worldimagemessage-square17fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1imageWe did this to ourselveslemmy.worldmikidep@lemmy.world to Programmer Humor@programming.dev · 1 year agomessage-square17fedilink
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.
It’s making fun of dynamic languages because rather than letting the compiler prove theorems about statically typed code, they… don’t.