Is static type checking a redundant testing mechanism?(lukeplant.me.uk)

http://lukeplant.me.uk/blog/posts/is-static-type-checking-a-redundant-testing-mechanism/