No. Smalltalk is an example of an object-oriented language that is statically typed. Just because there is a notion of a type of object (a class) does not mean the compiler needs to check that you are using types according to some rules. Those tests can be done at run time.