XEugeneZyK_BotaNпропущено...


мда уж. параметрический полиморфизм - важный аспект типизации.Что-то мне кажется, что настоящий параметрический полиморфизм был бы, если бы мы могли написать так:
То есть, если бы не было erasure.

полный пример кода можно, а то я в первую очередь не пойму, зачем вам "<? extends T>" вместо обычного "Т".

XEugene,

а вообще - "параметрический полиморфизм" - годная вещь, но в жаве он не работает не из-за стирания типов.


хороший годный пример параметрического полиморфизма - в языке хаскельь, подобный функционал хаскель хотел прикрутить к новому стандарту с++(под названием концепты), но там были проблемы совместимости с поведением языка си.

XEugeneZyK_BotaNполный пример кода можно, а то я в первую очередь не пойму, зачем вам "<? extends T>" вместо обычного "Т".

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

эээ. не путай полиморфизмы ))
есть ad-hoc полиморфизм(тот который с поздним связыванием)
а есть параметрический полиморфизм.

не путай эти два совершенно разных полиморфизма.

XEugeneZyK_BotaNполный пример кода можно, а то я в первую очередь не пойму, зачем вам "<? extends T>" вместо обычного "Т".

Пример вымышленный, можно было написать то же самое короче


а это да, огромный недочет жабы, но не параметрического полиморфизма.

и вообще - параметрический полиморфизм - штука статическая а не динамическая.