Using a static type checker means that an error doesn't creep across all my code. The worst case you describe pretty much never happens, and the smaller instanc

Using a static type checker means that an error doesn't creep across all my code. The worst case you describe pretty much never happens, and the smaller instances I get are reified to a generic form I am trained to analyze and solve quickly. > Your analogy doesn't apply. One would think I am well placed to describe my own experience of interacting with a type system.