minus-squareTJmCAwesome@feddit.nutoProgrammer Humor@programming.dev•We did this to ourselveslinkfedilinkarrow-up6·1 year 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.nutoProgrammer Humor@programming.dev•Movies vs lifelinkfedilinkarrow-up3·1 year agoJust the way gran-pappy did it! Hot dang! linkfedilink
It’s making fun of dynamic languages because rather than letting the compiler prove theorems about statically typed code, they… don’t.