Ett programmeringsspråk som tillåter användaren att uttrycka ett program objekt och meddelanden mellan dessa objekt. Exempel är Smalltalk och logotyp.