Μια γλώσσα προγραμματισμού που επιτρέπει στο χρήστη να εκφράσω ένα πρόγραμμα όσον αφορά αντικείμενα και μηνύματα μεταξύ αυτών των αντικειμένων. Παραδείγματα Smalltalk και ΛΟΓΌΤΥΠΟ.