Obyekt yönümlü proqramlaşdırmada çox formallıq anlayışını izah edə bilərsinizmi?

Obyekt yönümlü proqramlaşdırmada çox formallıq — bu müxtəlif siniflərə aid obyektlərin eyni mesajlara (metod çağırışlarına) fərqli cavab vermək qabiliyyətidir. Bu, müxtəlif obyekt növləri ilə işləmək üçün tək bir interfeys istifadə etməyə imkan verir.

Java nümunəsi:

class Animal {
    void sound() {
        System.out.println("Hər hansı bir səs");
    }
}

class Dog extends Animal {
    @Override
    void sound() {
        System.out.println("Havlama");
    }
}

class Cat extends Animal {
    @Override
    void sound() {
        System.out.println("Miyov");
    }
}

public class Main {
    public static void main(String[] args) {
        Animal a1 = new Dog();
        Animal a2 = new Cat();
        a1.sound(); // Çıxış: Havlama
        a2.sound(); // Çıxış: Miyov
    }
}

Burada, sound() metodu Animal tipində obyektlərdə çağırılır, amma davranış konkret alt sinfə bağlıdır — bu çox formallıq nümunəsidir.