I think the documentation advantages of typing can be massive. Dynamic languages are great but they do place additional importance on documentation/comments, fo

I think the documentation advantages of typing can be massive. Dynamic languages are great but they do place additional importance on documentation/comments, for example to tell the caller of an API what to pass in and why. In a static language, if the author has carefully thought about the naming of any abstractions, you get a lot of that documentation for free. Add in useful advantages like better tooling support and I do think a feature like optional typing could be very useful.