>>>> а мы имеем только +1% производительности в половине тестов
>>> Смотрим половину тестов:
>>>
>>> binary-trees
>>> Rust 1.20
>>> C gcc 1.96
>> Хорошо бы посмотреть не только результаты, но сами тесты.
> А совсем неплохо не только посмотреть, но и почитать, что там тестируется.
>>Background
>> A simplistic adaptation

О, спасибо, слона то я действительно пропустил. Они оптимизируют по параметру "проще", а сравнивают по другому.

>> Для С где-либо заявлено об оптимизации хотя бы хвостовой рекурсии
> Чей-то я не вижу хацкеля в первой десятке.

В ФЯ без рекурсии жизни нет, а для С подобный код не характерен, разве что как академический.