АО
Если пишешь пакет, то не забудь поставить в зависимости
Size: a a a
2020 January 18
VM
Если пишешь пакет, то не забудь поставить в зависимости
Этому еще предстоит учиться
АО
Две строчки всего лишь 😊
АО
pkg> activate <Название пакета>
pkg> add LinearAlgebra
VM
Я со структурой проекта потом отдельно вопросы задавать буду))
VM
pkg> activate <Название пакета>
pkg> add LinearAlgebra
Спасибо!
KT
Вопрос такой: если у меня есть некоторая структура, которая является обёрткой над некоторым итератором, как мне проще всего переопределить протокол итерации для новой штуки
KT
struct Foo{T}
v :: Vector{T}
# other fields
endKT
iterate(foo :: Foo) ... ?KT
можно же по идее так?
iterate(foo :: Foo) return iterate(foo.v) endKT
вроде так можно:
function iterate(foo :: Foo, state)
return iterate(foo.v, state)
end
АО
Что-нибудь типа
iterate(f::Foo, s = iterate(f.v)) = iterate(f.v, s)VG
макрос @forward из Lazy.jl
АО
Или так, да.
Минус только в том, что это дополнительная зависимость, ну и остаётся внутреннее непонимание как работают итераторы.
Можно один раз сделать руками, а потом уже пользоваться forward
Минус только в том, что это дополнительная зависимость, ну и остаётся внутреннее непонимание как работают итераторы.
Можно один раз сделать руками, а потом уже пользоваться forward
KT
ещё вопрос: если я ввожу свой абстрактный тип, как мне сделать так, чтобы встроенные типы были его подтипом
KT
к примеру, я хочу сделать
abstract type Foo endKT
и хочу, чтобы
Real <: Foo == trueАО
Думаю, что никак, но наверное можно воспользоваться traits
АО
А можешь сказать, зачем бы это тебе было нужно? Чтобы
Просто в Julia иерархия типов такого значения не имеет, как в других языках, всё же в dispatch упирается.
Если у тебя какой-то достаточно широкий метод, который можно считать как в твоих новых типах, так и в старых, то просто не специализируй функции и всё.
Real <: Foo == true?Просто в Julia иерархия типов такого значения не имеет, как в других языках, всё же в dispatch упирается.
Если у тебя какой-то достаточно широкий метод, который можно считать как в твоих новых типах, так и в старых, то просто не специализируй функции и всё.
abstract type AbstractFoo end
struct Foo{T} <: AbstractFoo
x::T
end
Base.:*(x::T, y::T) where {T <: AbstractFoo} = T(x.x * y.x)
mypow2(x) = x*x
mypow2(Foo(2)) # Foo{Int64}(4)
mypow2(2) # 4