KT
может типы другие у данных
Size: a a a
2020 September 11
V
Проверю. Т.е. если к примеру вместо Int вдруг дать Float, то это может вызвать перекомпиляцию?
A
Это обязательно вызовет перекомпиляцию
KT
в этом и смысл, чтобы компилировать наиболее эффективную версию для каждого типа
VG
Это что же за функция такая, которая компилится 2 минуты и съедает Гб? Похоже на целый пакет...
V
Большая функция просто - можно сказать целый пакет: поиск минимума REML. Как этого можно избегать? Указывать параметрические типы на входе?
VG
делать function barriers
KT
если гиг, то почти наверное type instability где-то )
V
Спасибо! К примеру функция f(x)::AbstractMatrix{Float64} не будет считаться стабильной?
АО
Мммм... аннотация возвращаемого типа мало отношения имеет к стабильности
АО
Попробуй
@code_warntypeV
Ок, спасибо!
V
Я имел в виду, что если, к примеру, функция возвращает то Symmetric, то Diagonal (или ещё что-то из AbstractMatrix), то стабильной она не будет, то что конкретный Float64 внутри - не имеет значения.
АО
Нет, дело не в этом.
В самом простом варианте - если функция при каких-то условиях возвращает Symmetric, а при каких-то Diagonal при одном и том же типе входящих данных, то тогда она не будет type stable.
В самом простом варианте - если функция при каких-то условиях возвращает Symmetric, а при каких-то Diagonal при одном и том же типе входящих данных, то тогда она не будет type stable.
АО
Но могут быть и менее очевидные вещи, типа неправильного использования замыканий и т.п.
V
Так. 😸 Я может тогда не очень понимаю что значит стабильная функция. f(x)::Float64 ведь будет железно стабильна? А f(x::T)::T where T <: Real - скорее не будет.
KT
Функция называется стабильной, если все "внутри использующиеся" переменные не меняют тип
не является стабильной
function f() :: Float64
x = 1
x += 0.5
return x
end
не является стабильной
АО
function f(x)
if x > 1
return “hello”
else
return 0
end
end
Вот это пример нестабильной функции.
KT
если есть глобальные (для функции) переменные, которые могут поменять тип; если переменные внутри функции меняют тип; если функция возвращает разное значение на одном и том же типе при разных значениях аргумента — это всё плохо )