During the Testival 2019 Zabok, I drove Gaspar and Titus from conference venue to place where they staid. During the short drive, we had insightful car conversations. One Gaspar statement confirmed my static vs. dynamic significant difference that I realized years before. I will share that with you here in this post.
Authors of dynamic languages did this on purpose. They wanted to force you to write automated checks of your code in TDD manner.
Doing that, you will cover type errors, but also you will get insight into other errors, for example, logical flows of your program.
Google testing blog nicely summarizes this in its old logo above.