OOP

Is it fair to say that OOP is for people afraid of having a decent type system?

Let me know when you make a type that can have variable levels of access, functions that it and only it can use, and the ability to inherit members of other similar types. Once you have that, it's no longer a type system, it's OOP.

OOP makes all type systems obsolete, and pure OOP is the best way of dealing with things (and by pure OOP, I mean like Ruby, but with the speed of a compiled language... and not smalltalk).