Rust.

[thesz]

Разработчики не справились с оптимизацией хвостового вызова. Её в Rust не будет.

(на ум просится "как корабль назовёте"...)

Меня смущает "хвостовой вызов снижает производительность программ". Это как это они этого добились-то?

Comments

[helvegr]

> Меня смущает "хвостовой вызов снижает производительность программ". Это как это они этого добились-то?

Там есть ссылка на сообщение, в котором объясняется, что имеется в виду:
https://mail.mozilla.org/pipermail/rust-dev/2012-January/001281.html

[thesz]

Это какой же идиот будет вызывать сишный код с переменным числом аргументов в хвостово-рекурсивном цикле?

Полный идиотизм.

[helvegr]

Там про varargs идёт речь, а про то, что для поддержки хвостовых вызовов им придётся поменять calling convention на callee-restore. Пример: f(a,b) делает хвостовой вызов g(a,b,c) - поскольку в колл-сайте f мы не знаем, сколько последнему callee было передано аргументов, g должна сама почистить за собой стек.

[thesz]

Какой стек? Все на регистрах лежит давно. ;)

[gliv]

Вот если бы они в Rust добавили Хиндли-Милнера, и разрешили каррирование - да, можно было бы смотреть.
А так - мне окамл ближе пока.

[nivanych]

Эх, а как мне его рекламировали...
Одним из главных аргументов было, что серьёзные люди будут пользовать!
Всё никак не собрался посмотреть подробнее.
Ну вот, первые подробности уже есть ;-)

[ext_807519]

По-моему, с самого начала было понятно, что это продукт страдающих синдромом Уолта Брайта (а им страдает большинство "серьезных людей", сочиняющих свои языки). Т.е. "я не знаю основ, не имею эрудиции, но вот сейчас сделаю копию единственного языка, который я знаю, но с перламутровыми (если у автора серьезные амбиции - плутониевыми) пуговицами".

[rumataestor]

Всё не так плохо, llvm оптимизирует хвостовые вызовы.

[thesz]

Вы ссылку-то читали?