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

L>А может тебе не нужен глобальный вывод типов просто потому, что ты с ним не работал и не почувствовал его достоинств?

А какие у него достоинства?