KT
надо исходники смотреть, как они сами-то смогли ntuple сделать type-stable
Size: a a a
2020 March 19
АО
Скорее всего какая-то магия 😊
KT
а если я знаю, что у меня аргумент типа NTuple{N, T}, то как подсказать компилятору, что нечто будет типа N-1, T ?
АО
Так можно прямо так и заннотировать
x::NTuple{N, T} = ...KT
да, а как сделать из N -> N - 1
АО
Написать
N-1? Или не работает?АО
Разумеется компилятору это мало поможет, так как вычисляется динамически
KT
а может и работает
АО
Скорее всего надо на более общую проблему смотреть.
Но формально это можно решить через производящие функции, хотя на их использование сильно ругаются.
Но формально это можно решить через производящие функции, хотя на их использование сильно ругаются.
KT
вроде code_warntype синим стал, спасибо, странно что я нашел ранее ситуацию, где не работало, но уже не вспомню
KT
ntuple почему-то не всегда срабатывает у меня
KT
например, когда я на каждом шаге применяю свою функцию
(i -> f[i](x), n)KT
в этом случае он вывести почему-то не в состоянии, хотя нормально выводит тип каждого из
f[i](x)KT
и пришлось руками писать, что тип там NTuple{...} ( ... )
АО
Наверное потому что это замыкание получилось
2020 March 20
ВФ
А вот можно еще и так удалить элемент (4-й, например) из NTuple:
a=ntuple(i->i*i, 9)
(1, 4, 9, 16, 25, 36, 49, 64, 81)
b=(a[1:3]...,a[5:end]...)
(1, 4, 9, 25, 36, 49, 64, 81)
a=ntuple(i->i*i, 9)
(1, 4, 9, 16, 25, 36, 49, 64, 81)
b=(a[1:3]...,a[5:end]...)
(1, 4, 9, 25, 36, 49, 64, 81)
АО
Можно, но эта штука не является type stable и как следствие работает немного медленнее.
Хотя, если честно, я в целом согласен: если данное конкретное место не является критически важным по скорости, то такой подход лучше, потому что намного читабельнее.
Хотя, если честно, я в целом согласен: если данное конкретное место не является критически важным по скорости, то такой подход лучше, потому что намного читабельнее.