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

L>>Область действия вывода типов ограничена локальными функциями. А что — разве не было бы лучше пользователям языка, если бы он снимал данное ограничение?

VD>Не было бы. Было бы значительно хуже.

То, что ты написал дальше — это хуже для дизайнеров этого языка. Это не проблемы пользователя. Дизайнеры не могут решить эту проблему и говорят — ок, пусть вывод типов будет только локально, это связано с тем, что сделать то-то и то-то трудно/неэффективно/чтонибудьещё. От того, что у ограничения есть объяснение его существования оно не перестаёт быть ограничением. Как отсутствие перегрузки в Хаскеле. Его ведь тоже можно объяснить, нес па?

Что касается "был выбор" то вообще не понятно. Ну, выбрали наличие в языке этого ограничения, ну есть для этого причины, и что? От того, что выбор был оно перестаёт быть ограничением?

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