cognitive psychology. PhD 
This is kind of like saying borrow checking in Rust doesn't have any relationship to preventing segfaults, because you can use unsafe code. Just because a system doesn't prevent all errors, doesn't mean it bears no relationship to preventing errors.
Would love to read it! Maybe the issue is clarifying what you mean by having a relationship to runtime errors. e.g. a human-centered interpretation is "given the same PL w/ and w/o static typing, programmers make the same runtime errors". But I don't think that's what you mean.
-
-
This Tweet is unavailable.
-
Oh that's interesting. Seems like it would help to distinguish between true positives (undefined behavior e.g. 1 + "a") and false positives (conservative analysis, e.g. can't do duck typing in Java). Static types catch more of both.
End of conversation
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.