> В джаве, объектном языке, он присутствует, в generics: в коллекциях, к примеру, когда тип элемента коллекции или специфицируется, или выводится.
Пуская меня товарищи джависты поправят если я неправ, но generics в Java — это нихрена не средство реализации полиморфизма, а убогий костыль предназначенный для реализации статического контроля типов в отсутствие честного статического полиморфизма (как, например, в случа темплейтов в C++). Соответственно, в отличие от тех же темплейтов, дженерики ни на какой новый уровень джаву не выводят.
no subject
Date: 2007-02-12 07:13 pm (UTC)Пуская меня товарищи джависты поправят если я неправ, но generics в Java — это нихрена не средство реализации полиморфизма, а убогий костыль предназначенный для реализации статического контроля типов в отсутствие честного статического полиморфизма (как, например, в случа темплейтов в C++). Соответственно, в отличие от тех же темплейтов, дженерики ни на какой новый уровень джаву не выводят.