KT
а если я в цикле начну переворачивать разной длины туплы
Ага!
Тут хитро
Size: a a a
2020 January 23
KT
3,4,5,... он каждую компилировать бюудет?
АО
Если ты просто будешь переворачивать, то он забоксит и напишет не самый эффективный алгоритм с циклом обычным.
АО
Но если ты воспользуешься function barrier, то тогда он сделает отдельные версии
АО
Хм.
Может я и ошибаюсь 😊 reverse скорее всего уже сам является function barrier, поэтому должен сам это сделать.
Может я и ошибаюсь 😊 reverse скорее всего уже сам является function barrier, поэтому должен сам это сделать.
KT
ну да, но всё-таки: если я переворачиваю 20 туплов, то он компилирует 20 версий reverse?
АО
Если они все разной длины - то должен, да.
АО
Только с точки зрения времени компиляции.
АО
Зато execution time будет космический.
АО
Ха, нет, не будет он таким заниматься
АО
function f()
for t in [(1, 2), (1, 2, 3)]
reverse(t)
end
end
@code_warntype f()
Variables
#self#::Core.Compiler.Const(f, false)
@_2::Union{Nothing, Tuple{Tuple{Int64,Int64,Vararg{Int64,N} where N},Int64}}
t::Tuple{Int64,Int64,Vararg{Int64,N} where N}
Body::Nothing
1 ─ %1 = Core.tuple(1, 2)::Core.Compiler.Const((1, 2), false)
│ %2 = Core.tuple(1, 2, 3)::Core.Compiler.Const((1, 2, 3), false)
│ %3 = Base.vect(%1, %2)::Array{Tuple{Int64,Int64,Vararg{Int64,N} where N},1}
│ (@_2 = Base.iterate(%3))
│ %5 = (@_2 === nothing)::Bool
│ %6 = Base.not_int(%5)::Bool
└── goto #4 if not %6
2 ┄ %8 = @_2::Tuple{Tuple{Int64,Int64,Vararg{Int64,N} where N},Int64}::Tuple{Tuple{Int64,Int64,Vararg{Int64,N} where N},Int64}
│ (t = Core.getfield(%8, 1))
│ %10 = Core.getfield(%8, 2)::Int64
│ Main.reverse(t)
│ (@_2 = Base.iterate(%3, %10))
│ %13 = (@_2 === nothing)::Bool
│ %14 = Base.not_int(%13)::Bool
└── goto #4 if not %14
3 ─ goto #2
4 ┄ return
АО
То есть он по сути говорит, что массив
[(1, 2), (1, 2, 3)] имеет странный тип Tuple{Int, Int, Vararg{Int64, N}) where N и такой же будет переменная tАО
И код напишет неоптимальный
KT
function f()
reverse((1, 2))
reverse((1,2,3))
reverse((1,2,3,4))
end
end
reverse((1, 2))
reverse((1,2,3))
reverse((1,2,3,4))
end
end
АО
Ха ха, с этим сложно, потому что на таких простых примерах компилятор по полной отрабатывает.
АО
Он вообще никаких функций вызывать не будет
АО
Да ещё будет удалять "мёртвые" вызовы.
KT
а кто-то видел вычисление дискретного преобразования Фурье? на Julia