[mpweiher]

...and in fact this documentation effect is (so far) the only positive effect of static typing that has had at least some scientific validation.

[reitanqild]

?

This sounds really fishy to me. Do you have more details?

Source: have programmed professionally in major static and non-static languages and as the years pass I appreciate static languages more and more for each time I waste time debugging what I have learned to think of as stupid, completely avoidable errors.