minus-squareTJmCAwesome@feddit.nutoProgrammer Humor@programming.dev•We did this to ourselveslinkfedilinkarrow-up6·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
It’s making fun of dynamic languages because rather than letting the compiler prove theorems about statically typed code, they… don’t.