Исходное сообщение
"Выпуск языка программирования Rust 1.43" Отправлено freehck, 01-Май-20 22:23
>[оверквотинг удален] >> имеем в виду хвостовую рекурсию. Если язык её по умолчанию не >> предоставляет, а только вон как в случае C -- только в >> виде оптимизации, которая ещё и срабатывает от случая к случаю -- >> то толку от такой рекурсии мало, равно как и смысла обсуждать >> её. Это как обсуждать type inference в Scala -- номинально для >> галочки есть, но по факту кому от неё в таком виде >> прок... > кстати type inFErence - в Scala очень полезен, как минимум без него > исходники были бы в пару раз больше из за лишних описаний > типов Ну не в пару -- это Вы сильно преувеличиваете. Если хотите посмотреть на то, каким type inference должен быть -- приглядитесь к ocaml. У языка строгая типизация, но указывать типы Вам придётся ровно в одном случае: при конструировании новых типов (ну и для функторов, разумеется). Дальше -- всё будет выведено автоматом.