Здравствуйте, Evgeny.Panasyuk, Вы писали:

EP>Я читал, но вот сомневаюсь что он всё правильно воспроизвёл

Лично у меня вопросов не возникло. Вопрос явно об Абстрактных Типах Данных.

Человек просто не понимает разницы между ООП и АТД.

EP>Например АбстрактныеТД и ООП не противопоставляются, они вообще в разных плоскостях лежат. А вот АлгебраическиеТД и ООП как раз противопоставляются, например по части полиморфизма

А он и не противопоставляет. Он спрашивает в чем разница.

Как бы разница в том, что ООП — это вид ЯП. А АТД — это паттерн программирования. В ООЯ он или встроен явно или очень легко реализуется на абстрактных классах. В ФЯ он реализуется на базе инкапсуляции обычно производимой в модулях (как тут уже отмечалось). Но сам механизм там может быть разный. Причем АлгТД никакого отношения к АТД не имеет и их реализовывать не может (без других фич).