Both object-based and object-oriented languages (whether class-based or prototype-based) may be statically type-checked.
Sowohl objektbasierte als auch objektorientierte Sprachen (egal ob klassenbasiert oder prototypenbasiert) können statisch typisiert sein.