Кризис объектно-ориентированного программирования.

class MyBase {
    public MyBase(int param) {
        // do constructor
    }
    public void MyMethod(String param) {
        // do something;
    }
}

class MyChild extends MyBase {
    public MyChild(param) {
        // do constructor 2
    }
    // other methods
}

interface MyBase {
    public void MyMethod(String param);
}

class MyParent implements MyBase {
    public MyParent(int param) {
        // do constructor
    }
    public void MyMethod(String param) {
        // do something;
    }
}

class MyChild implements MyBase {
    MyParent _base;
    public MyChild(param) {
        MyParent _base = new MyParent(param);
        // do constructor 2
    }
    public void MyMethod(String param) { return _base.MyMethod(param); }
    // other methods
}

interface List {
    public int getLength();
}

class ArrayList {
    public int getLength() {
        // blah-blah вернуть хранимую длину
    }
    // blah-blah длина массива и ссылка на данные
}

class LinkedList {
    public int getLength() {
        // blah-blah побежать по узлам и сосчитать
    }
    // blah-blah ссылка на первый узел
}

struct {
    int typeCode;
    void* object;
} List;

const TYPE_ArrayList = 0;
const TYPE_LinkedList = 1;

int ArrayList_getLength(ArrayList* this) {
    // blah-blah вернуть хранимую длину
}

int LinkedList_getLength(LinkedList* this) {
    // blah-blah побежать по узлам и сосчитать
}

int List_getLength(List this) {
    if (this.typeCode==TYPE_ArrayList) return ArrayList_getLength((ArrayList*)this.object);
    if (this.typeCode==TYPE_LinkedList) return LinkedList_getLength((LinkedList*)this.object);
    // blah-blah ошибка типа
}

int List_getLength(List this) {
    switch (this.typeCode) {
        case TYPE_ArrayList:
            return ArrayList_getLength((ArrayList*)this.object);
        case TYPE_LinkedList:
            return LinkedList_getLength((LinkedList*)this.object);
    }
    // blah-blah ошибка типа    
}

(int(void*))[] VTABLE_getLength = {ArrayList_getLength, LinkedList_getLength};

int List_getLength(List this) {
    VTABLE_getLength[this.typeCode](this.object);
}

• наследование и инкапсуляция не являются обязательными и определяющими для ООП;
• ООП характеризуется объединением данных и кода и полиморфизмом;
• модульность - это полезно;
• классы заменили собой кортежи и модули, но постепенно превращаются либо в одни, либо в другие;
• таким образом, основное отличие ООП от процедурно-структурного - наличие полиморфизма;
• полиморфизм есть частный случай декларативного программирования;
• декларативное программирование нам строить и жить помогает.