minus-squareTJmCAwesome@feddit.nutoProgrammer Humor@programming.dev•We did this to ourselveslinkfedilinkarrow-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. linkfedilink
minus-squareTJmCAwesome@feddit.nutoMemes@lemmy.ml•what the fuck does that meanlinkfedilinkarrow-up5·1 year agoNah they mount it in such a way that effectively prevents side fumbling. I’m ordering mine tomorrow. linkfedilink
It’s making fun of dynamic languages because rather than letting the compiler prove theorems about statically typed code, they… don’t.