Mit getypter objektorientierter Sprache wird eine objektorientierte Programmiersprache bezeichnet, die auf einer Typisierung der Objekte basiert. In statisch getypten objektorientierten Sprachen kann die Typkonsistenz von Ausdrücken und Zuweisungen bereits bei der Übersetzung überprü ft werden, während in dynamisch getypten objektorientierten Sprachen diese Überprüfung teilweise erst zur Laufzeit möglich ist. Getypte objektorientierte Sprachen bieten eine eingeschränkte Polymorphie.