Здравствуйте, vdimas, Вы писали:
V>Здравствуйте, samius, Вы писали:
V>Любая предметная область начинается с терминологии.
V>Ты нашей терминологией НЕ владеешь.
Ну да, ты же присвоил терминологию.
V>Тут не надо быть оракулом, чтобы предположить, что у тебя непрофильное образование.
По образованию я математик, специальность — компьютерная математика.
V>>>Не, я, конечно встречал от коллег "полиморфные типы данных" и даже ржал...
S>>Это характеризует тебя, не коллег.
V>Согласен, все могут ошибаться. Тут главное иметь желание учиться.
V>Но всё-равно, "полиморфные типы данных" — это ДЕЙСТВИТЕЛЬНО смешно.
V>Когда рассуждают о типах данных, то говорят об "абстрактных типах данных".
Поучи нуба Карделли, как нужно говорить. Потом с тобой посмеюсь.
V>Да и вообще. Ты же одно время демонстрировал, что даже читал про т.н. "Паттерны проектирования".
V>Так вот, по обсуждаемой теме есть паттерн "Шаблонный метод". Не хочешь освежить?
V>Этот паттерн как раз показывает работу "истинного" (по Карделли) полиморфизма в ООП.
Это кто сказал, Карделли?
Полиморфизм в ООП — это ad hoc рантайм диспетчеризация по неявному аргументу.
V>Более того, в этом паттерне полиморфизм даже означает именно что "физическое исполнение одного и того же кода", о как! 
А знаешь, что означает слово "полиморфизм" в этой книге?
polymorphism
The ability to substitute objects of matching interface for one another
at run-time.
S>>Бывает. Открой уже Карделли или русскую вики.
V>Открой свою совесть уже. ))
V>Нет ничего проще, чем давать конкретные цитаты, верно? Но у тебя это простое действо НЕ получается уже два десятка постов.
V>Саботаж. Троллинг. Пустозвонство.
Раз ты сказал волшебное слово "пожалуйста", то вот (
http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf)
Polymorphic types are types whose operations are applicable to values of more than one type.
Просто так не надежно, мало ли, я решу приколоться и подменю цитату. Вот если бы ты сам открыл... Хотя, я бы на твоем месте не доверял бы своим глазам и английскому даже в этом случае.