Java и вывод типов

[balu]

А вот интересно, почему в Java ввели генерики, но не ввели опциональный вывод типов или динамику? Ведь все для этого есть и используется в той же Scala/Jython и т.д. Было бы намного практичней и удобней придурковатых генериков.

Comments

[vitus_wagner]

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

[b-al-u.livejournal.com]

Генерики как раз черезжопный вывод типов и есть. А рефлексия есть черезжопная динамика. Почему тогда не сделать нормальный вывод типов/динамику?

[vitus_wagner]

Потому что нормальный вывод типов и динамика не позволяют компилятору издеваться над программистом. А черезжопный - позволяет.

Зриш в корень

[(Anonymous)]

Витус, а нафига типы ваще?