I know everyone has their preference here so it doesn't help to just talk about anecdotes. That said, the author really doesn't seem to take note of the larges

I know everyone has their preference here so it doesn't help to just talk about anecdotes. That said, the author really doesn't seem to take note of the largest benefit of type safety: Self-documentation. Looking at someone else's source code with type hints gives you so much more of an idea of what's going on and what sorts of parameters any given function might take. With static types, that documentation is guaranteed to be right. Dynamic languages also encourage the use of clever reflection in ways that make your code unreadable to someone who has limited scope of context. For me, I'd rather be using a lib created in a static language.