Исправление ozkriff, (текущая версия) :
А примеры будут?
Примеры чего? Ты хочешь, что бы я тебе на хаскеле сейчас быстренько написал большую программу с минимумом явных указаний типов, потом ввел явные сигнатуры и сравнил понятность ошибок в обоих случаях? Боюсь, я воздержусь) Мое дело - поделиться информацией о мотивации разработчиков, а не отстаивать на лоре их решение)).
Мне ржавчина подходила бы и с возможностью опускать типы функций - я бы их все равно писал (вроде ж, в хаскелях тоже обычно сигнатуры пишут все равно). Но при текущем положении дел мне проще работать с чужим кодом, так что я вполне доволен.
Вот еще ветка обсуждения по этому поводу нагуглилась: https://news.ycombinator.com/item?id=8321427.
Еще подумывают для статиков (и констант, вроде) потом разрешить опускать тип: https://github.com/rust-lang/rfcs/issues/296 - это мне уже кажется не такой уж и плохой идеей, со статиками типы и правда иногда нервируют. Был еще разговор где-то (не могу нагуглить) о разрешении опускать сигнатуры для приватных функций. Но это все обратно-совместимые изменений, так что отложили все до выхода 1.0.
Исходная версия ozkriff, :
А примеры будут?
Примеры чего? Ты хочешь, что бы я тебе на хаскеле сейчас быстренько написал большую программу с минимумом явных указаний типов, потом ввел явные сигнатуры и сравнил понятность ошибок в обоих случаях? Боюсь, я воздержусь) Мое дело - поделиться информацией о мотивации разработчиков, а не отстаивать на лоре их решение)).
Мне ржавчина подходила бы и с возможностью опускать типы функций - я бы их все равно писал. Но при текущем положении дел мне проще работать с чужим кодом, так что я вполне доволен.
Вот еще ветка обсуждения по этому поводу нагуглилась: https://news.ycombinator.com/item?id=8321427.
Еще подумывают для статиков (и констант, вроде) потом разрешить опускать тип: https://github.com/rust-lang/rfcs/issues/296 - это мне уже кажется не такой уж и плохой идеей, со статиками типы и правда иногда нервируют. Был еще разговор где-то (не могу нагуглить) о разрешении опускать сигнатуры для приватных функций. Но это все обратно-совместимые изменений, так что отложили все до выхода 1.0.