АО
Ага, до 33 стабильна, потом аллокации начинаются
Size: a a a
2020 April 02
VG
Может быть она новую версию компилирует для каждого значения переменных.
для каждого нового типа генерит новый код функции и компилирует его
АО
Ну да.
Но я вот думаю - типом в данном случае является Int + Type{Val{N}}?
Или значения аргументов?
Но я вот думаю - типом в данном случае является Int + Type{Val{N}}?
Или значения аргументов?
VG
в StructArrays кстати используется
АО
Интуитивно кажется, что первое
VG
Val - для диспатча от длины тупла, Int - для диспатча от значений тупла
VG
то есть от типа значений NTuple
ВФ
вроде победил его в итоге с помощью VAL-ов как-то, но без generated
Имеется в виду так
foo(:: Type{Val{N}}) where N = ntuple(i -> 2, N)
?
foo(:: Type{Val{N}}) where N = ntuple(i -> 2, N)
?
АО
Только вот так наверное
Без
foo(k, ::Val{N}) where N = ntuple(i -> k, N)Без
TypeВФ
julia> foo( :: Val{N}) where N = ntuple(i -> 2, N)
foo (generic function with 1 method)
julia> foo(Val{2})
ERROR: MethodError: no method matching foo(::Type{Val{2}})
Closest candidates are:
foo(::Val{N}) where N at none:1
Stacktrace:
[1] top-level scope at none:0
foo (generic function with 1 method)
julia> foo(Val{2})
ERROR: MethodError: no method matching foo(::Type{Val{2}})
Closest candidates are:
foo(::Val{N}) where N at none:1
Stacktrace:
[1] top-level scope at none:0
ВФ
A c Type работает
АО
Мистика
А какая версия Julia?
А какая версия Julia?
АО
У меня 1.4, но вряд ли могло сильно поменяться.
АО
Может быть свежую сессию запустить? Вдруг там от старых экспериментов что-то осталось.
ВФ
julia> foo( :: Type{Val{N}}) where N = ntuple(i -> 2, N)
foo (generic function with 2 methods)
julia> foo(Val{2})
(2, 2)
foo (generic function with 2 methods)
julia> foo(Val{2})
(2, 2)
ВФ
Перезапустил вот
АО
julia> foo(k, ::Val{N}) where N = ntuple(i -> k, N)
foo (generic function with 1 method)
julia> foo(30, Val(5))
(30, 30, 30, 30, 30)АО
Сейчас попробую на 1.3.1