История изменений

Template metaprogramming в С++ может быть описано как нетипизированное лямбда-исчисление. Дженерики в расте - это типизированное лямда-исчисление. Оно не хуже, оно другое.

Зачем его описывать? Все языки можно описать как машины Тьюринга, и сделать вывод об их эквивалентности, но это не имеет никакого смысла. Кому нужно лямбда-исчисление? Где avx-инструкции?

Можно и без франка написать

Ну напишите.

Потому что zip с рекурсией по туплам будет выглядеть так

Я прошу вас реализовать хотя бы какое-то подобие вариадика, вы мне пишете все тот же мономорфный код от двух переменных. То, что вторая – тупл, не имеет никакого значения. Это хак. Напишите: нельзя, придется копипастить руками или макросами. Будьте честны к себе и остальным.

поддержка на уровне типов операции

Не будет, потому что сломается вызов функции от туплов.

Template metaprogramming в С++ может быть описано как нетипизированное лямбда-исчисление. Дженерики в расте - это типизированное лямда-исчисление. Оно не хуже, оно другое.

Зачем его описывать? Все языки можно описать как машины Тьюринга, и сделать вывод об их эквивалентности, но это не имеет никакого смысла. Кому нужно лямбда-исчисление? Где avx-инструкции?

Можно и без франка написать

Ну напишите.

Потому что zip с рекурсией по туплам будет выглядеть так

Я прошу вас реализовать хотя бы какое-то подобие вариадика, вы мне пишете все тот же мономорфный код от двух переменных. То, что вторая – тупл, не имеет никакого значения. Это хак.

поддержка на уровне типов операции

Не будет, потому что сломается вызов функции от туплов.