113
We did this to ourselves
(lemmy.world)
Welcome to Programmer Humor!
This is a place where you can post jokes, memes, humor, etc. related to programming!
For sharing awful code theres also Programming Horror.
What
It's making fun of dynamic languages because rather than letting the compiler prove theorems about statically typed code, they... don't.
Though even statically-typed languages can need to check types sometimes; parsing runtime data for instance. I can see how you'd do that with pure statics, but it'd just be shifting the work (e.g.
if token == QUOTE: proc.call(read_str(bytes, len))
). It'd be cool to see a counter example that isn't unreadable gibberish, however.