Rust, tail call optimization

Умные люди. Уважуха. Еще бы лямбды выкинули, и язык стал бы потенциально интересным.

в смысле tco не будет в 'стандарте'(ну или что там у них есть)?
Или в 'стандарте' будет чётко прописано отсутствие tco?

в смысле tco не будет в 'стандарте'(ну или что там у них есть)?
Или в 'стандарте' будет чётко прописано отсутствие tco?

Первое.

Не нужно.

Они могли хотя бы сделать оптимизацию хвостовой рекурсии для частных случаев (как в го).

Умные люди. Уважуха. Еще бы лямбды выкинули, и язык стал бы потенциально интересным.

Это с каких пор неосиляторство стало признаком ума?

С tco или без, оно все равно не нужно.

Как я, собственно, уже говорил, Rust — язык, созданный человеком, прочитавшим пару страничек из Душкина.

Да-да, а еще те, кто выбрасывает из языка goto или inline assembler тоже тупо «не осилили». Так, получается?

Опасным фичам в языке программирования не место. Пользы от них ноль, и служат они только запутыванию логики кода.

Да-да, а еще те, кто выбрасывает из языка goto или inline assembler тоже тупо «не осилили». Так, получается?

Демагогия. Но раз на то пошло - есть разница между выкинули (реализовав; кроме того, проблема goto не в goto, а макаках, не умеющих его использовать) и неосиляторством, не?

Опасным фичам в языке программирования не место. Пользы от них ноль, и служат они только запутыванию логики кода.

Логику запутывают люди.

Как я, собственно, уже говорил, Rust — язык, созданный человеком, прочитавшим пару страничек из Душкина.

Просто ты многого не знаешь и не понимаешь.

А у тебя правая рука короче левой ноги.

А у тебя правая рука короче левой ноги.

Это правда, но это не имеет отношения к уровню профессиональной подготовки Хоара и Матсакиса.

Это правда, но это не имеет отношения к уровню профессиональной подготовки Хоара и Матсакиса.

Мои личные образование и опыт также не имеют к ним никакого отношения.

Похоже, все-таки решили добавить, но уже после версии 1.0.0:

http://www.reddit.com/r/rust/comments/25xae1/rfc_81_support_for_guaranteed_ta...

https://github.com/mozilla/rust/wiki/Meeting-weekly-2014-05-20#tail-calls

We've long pointed to https://mail.mozilla.org/pipermail/rust-dev/2013-April/003557.html as our rationale for not supporting guaranteed TCE in Rust, so what's suddenly happend to change our tune?

- LLVM has grown better support for TCE (due out in the forthcoming 3.5 release, I believe).

- The vision of TCE proposed here has been pared down to have very strict restrictions. In future versions of Rust we may be able to loosen these a bit.