I really wish static typing advocates would consider making inductive claims. The last few times I've asked for such evidence the response has been along the li

I really wish static typing advocates would consider making inductive claims. The last few times I've asked for such evidence the response has been along the lines of "you just don't understand". It's indicative of a general intellectual orientation that I think has held back the introduction of valuable PLT concepts into mainstream languages.