Язык программирования, который позволяет пользователю выразить программы с точки зрения объектов и сообщения между этими объектами. Примеры включают Smalltalk и логотип.