Исходное сообщение
"Доступен язык программирования Rust 1.8" Отправлено freehck, 16-Апр-16 11:39
Да, компилятор-то увидит. Однако вывод типов нужен прежде всего программисту, а не компилатору. Вот я пишу например: # let add1 x = x + 1;; И когда я смотрю на это определение, я точно знаю, что add1 - это функция int -> int, потому что функция (+) имеет именно такой тип. И я уверен по этой же самой причине, что x - это int, потому что параметр иного типа не может быть передан в (+). А если функция (+) может быть перегружена, то я ни в чём не могу быть уверен, и чтобы не ошибиться, мне в каждом конкретном случае использования add1, получается, придётся либо компилировать программу, чтобы посмотреть, всё ли корректно работает, либо прибегать к помощи специализированной IDE (а я могу, вообще говоря, хотеть работать в привычном мне текстовом редакторе).