Compile-time object type checks are actually orthogonal to OO. You may like strong typing or not but anyway its absense or presence in a programming language doesn't make it "more" OO. Case it point: Smalltalk which is often claimed to be a "true" OO language is a weak typed language.

--
Ilya Martynov, ilya@iponweb.net
CTO IPonWEB (UK) Ltd
Quality Perl Programming and Unix Support UK managed @ offshore prices - http://www.iponweb.net
Personal website - http://martynov.org