In fact, this <i>documentation</i> effect is the only positive effect of static typing that has actual scientific support, unlike the supposed and oft-claimed safety&#x2F;correctness benefits.<p>So while type-inference is a neat idea in theory, maybe it&#x27;s not such a good idea in practice.