> Programs written in dynamically typed languages don’t have far higher defect rates than programs written in languages like C++ and Java.

They have done a study which found that strong/static type checks can reduce your number of bugs by 15%

https://blog.acolyer.org/2017/09/19/to-type-or-not-to-type-q...

I would consider that to be quite significant