История изменений
Исправление quasimoto, (текущая версия) :
Все, тем АТС закрыта - написано, что указанный пример работает.
Где? В статье про то как они бы хотели реализовать DML?
И важен не пример с zip, а пример с получением обычного list(SomeType, n) для n полученного во время выполнения — если этого нет, то всё тупо как в плюсах (zip работает, но если n статичны — он и в плюсах будет работать, решение уравнений для параметров шаблонов можно накостылять, если они не работают — лень проверять).
А теперь ответь про П-тип в template
Я выше написал — ну да, пи int, именуем n (делаем implicit/constexpr в плюсах), пи unit без зависимости и возвращаем список с индексом n.
Исходная версия quasimoto, :
Все, тем АТС закрыта - написано, что указанный пример работает.
Где? В статье про то как они бы хотели реализовать DML?
И важен не пример с zip, а пример с получением обычного list(SomeType, n) для n полученного во время выполнения — если этого нет, то всё тупо как в плюсах (zip работает, но если n статичны — он и в плюсах будет работать, решение уравнений для параметров шаблонов можно накостылять, если они не работают — лень проверять).
А теперь ответь про П-тип в template
Я выше написал — ну да, пи int, именуем n, пи unit без зависимости и возвращаем список с индексом n.