Agree the academia-touted benefit of type-checking isn't that helpful in practice. But types help with documentation and tooling (completion, data-mapping etc).

Agree the academia-touted benefit of type-checking isn't that helpful in practice. But types help with documentation and tooling (completion, data-mapping etc). Types are (apparently) crucial for large projects. However, the #1 benefit is speed, which I don't think Typescript can provide. Sorry I can't quantify any of that. EDIT I am curious why this was downvoted.