Исправление Siborgium, (текущая версия) :
Template metaprogramming в С++ может быть описано как нетипизированное лямбда-исчисление. Дженерики в расте - это типизированное лямда-исчисление. Оно не хуже, оно другое.
Зачем его описывать? Все языки можно описать как машины Тьюринга, и сделать вывод об их эквивалентности, но это не имеет никакого смысла. Кому нужно лямбда-исчисление? Где avx-инструкции?
Можно и без франка написать
Ну напишите.
Потому что zip с рекурсией по туплам будет выглядеть так
Я прошу вас реализовать хотя бы какое-то подобие вариадика, вы мне пишете все тот же мономорфный код от двух переменных. То, что вторая – тупл, не имеет никакого значения. Это хак. Напишите: нельзя, придется копипастить руками или макросами. Будьте честны к себе и остальным.
поддержка на уровне типов операции
Не будет, потому что сломается вызов функции от туплов.
Исходная версия Siborgium, :
Template metaprogramming в С++ может быть описано как нетипизированное лямбда-исчисление. Дженерики в расте - это типизированное лямда-исчисление. Оно не хуже, оно другое.
Зачем его описывать? Все языки можно описать как машины Тьюринга, и сделать вывод об их эквивалентности, но это не имеет никакого смысла. Кому нужно лямбда-исчисление? Где avx-инструкции?
Можно и без франка написать
Ну напишите.
Потому что zip с рекурсией по туплам будет выглядеть так
Я прошу вас реализовать хотя бы какое-то подобие вариадика, вы мне пишете все тот же мономорфный код от двух переменных. То, что вторая – тупл, не имеет никакого значения. Это хак.
поддержка на уровне типов операции
Не будет, потому что сломается вызов функции от туплов.