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

R>Здравствуйте, Serginio1, Вы писали:

S>> Ага без типизации и интеллисенса это не кастрированные?

R>Что значит без типизации, але? Типизация работает в момент специализации, это компайлтайм. Любое несоответствие будет выявлено в момент компиляции. Интеллисенс это вообще не характеристика языка. У паскалевских дженериков можно указать ограничения на специализацию (например TObj<T : IMyIntf1, IMyIntf2>) и т.о. у среды разработки появляется информация для доводчика кода. То, что доводчик не работает это просто недоделка среды разработки, это не проблема языка.
Это проблема языка, так как среда разработки не справляется. Среда разработки и язык это одно целое. Именно популярность Delphi и была в этом.
Ну и раз можно указать ограничения, то чем они отличаются от дженериков?
S>> Дженерики как раз и есть следующий этап! Для примера тот же TS набирает популярность именно из-за аннотации типов!

R>Ты все смешал в кучу, как всегда.
Это все про одно и тоже. Дженерики это прежде всего типизация и интеллисенс!
А разворачиваться они могут по разному при Jit и AOT