Также рассматривались обобщенные ограничения , которые необходимы для того , чтобы компилятор создавал. Код , в котором на аргументы типа , предоставляемые обобщенным типам во время выполнения , накладываются некоторые функциональные предположения. Благодаря обобщениям , типы коллекций получают ощутимое и реальное преимущество в отношении эффективности и безопасности.