ооп и полиморфизм

[juan_gandhi]

Некоторое время назад, когда ООП было единственным политически корректным приемом программирования, программисту полагалось знать три столпа объектно-ориентированной религии:
- наследование
- инкапсуляция
- полиморфизм

Нынче жизнь стала сложнее, см. википедию - ООП включает "абстракцию", "классы", "объекты".

Я хочу сказать, что сам-то по себе полиморфизм никакого отношения к ООП не имеет. В ООП применяется только один вид полиморфизма, т.наз. ад-хок (см вики) - method operator overloading (see wiki). Когда для разных классов (или для разных типов; в ООП это всё одно и то же) один и тот же идентификатор переопределяется в "конкретных классах".

А вот более сильный вид полиморфизма, параметрический - отсутствует ("как класс"). В джаве, объектном языке, он присутствует, в generics: в коллекциях, к примеру, когда тип элемента коллекции или специфицируется, или выводится. Это не имеет никакого отношения к ООП, и, к примеру, добавлено в джаву потому только, что авторы смогли найти способ расширить джаву таким образом. Выведя её с уровня простого "объектно-ориентированного языка" на уровень выше.

Если задуматься, то на самом-то деле, как только мы введем коллекции в язык, так мы где-то уже выходим за пределы ООП. Нас уже начинают интересовать вопросы type inference, covariance vs contravariance, и т.д. Просто как-то эти вопросы ещё не стали мейнстримом. Ну, с другой стороны, нынче ведь вообще затишье.

Comments

Re: Не про полиморфизм

[ivan-gandhi.livejournal.com]

Спасибо за линки. Мне больше понравилось про Буратино. Вишь, Стиви как бы практик; ему все эти сложности чужды. Как теплотехник, глядящий большими глазами на квантовых термодинамиков, мол, шо тут в котле ещё им непонятно.

На матмехе, думаю, до сих пор популярен анекдот: приезжает теоретический механик в колхоз; ему председатель: "механик? дифференциал знаешь? поди разбери."

Насчет практики, однако. Пусть он сначала выпустит ту штуковину, которой он занимается, а там уж посмотрим. Пока что одни разговоры. Хаскел ему нехорош. От монады, как от балерины, нету пользы народному хозяйству; а вот если к ней динамомашину приспособить, так польза будет.