KT
foo(::Int) = 1foo(::Type{Int}) = 2Size: a a a
2020 April 02
KT
foo(1) == 1foo(Int) == 2ВФ
Спасибо, это понятино, но пока еще не осознал в какой практической ситуации это может понадобиться
KT
ну вот в
zeros в качестве аргумента тип передается к примеруKT
zeros(5)zeros(Int, 5)zeros(UInt8, 5)2020 April 03
ВФ
julia> Type{Type}<:Type
true
julia> Type{Type}>:Type
false
НО
julia> supertype(Type{Type})
Any
а казалось бы, должно быть не Any, а Type
Тоже самое касается других параметрических типов:
julia> Complex{Int}<:Complex
true
julia> Complex{Int}>:Complex
false
НО
julia> supertype(Complex{Int})
Number
Почему Number, а не Cоmplex, почему так?
true
julia> Type{Type}>:Type
false
НО
julia> supertype(Type{Type})
Any
а казалось бы, должно быть не Any, а Type
Тоже самое касается других параметрических типов:
julia> Complex{Int}<:Complex
true
julia> Complex{Int}>:Complex
false
НО
julia> supertype(Complex{Int})
Number
Почему Number, а не Cоmplex, почему так?
АО
Потому что Int игнорируется вроде бы при наследованиях типов.
Что-то такое уже было какое-то время назад в этом чате - ко и контравариантности типов.
Что-то такое уже было какое-то время назад в этом чате - ко и контравариантности типов.
АО
По крайней мере я почти 100% уверен, что
supertype(Complex{Int}) при вычислении превращается в supertype(Complex)АО
Так что
Number это вполне логичный ответ, несмотря на то, что julia> Complex <: Complex
true
julia> Complex >: Complex
true
VG
https://www.youtube.com/watch?v=Y95fAipREHQ&t=2113s
хорошая лекция по типам в Julia
хорошая лекция по типам в Julia
АО
Я так понимаю, что наивно стоило бы ожидать в качестве ответа не
Complex, а Complex{Signed}, что-нибудь в этом духеVG
в частности, время 17:26:
ВФ
Это-то мы как раз недавно обсуждали, но это немного другое
АО
Ага, можно с другой стороны подойти
Тип
То есть определение
Или
?
Тип
Complex - это абстрактный тип?То есть определение
Complex{T} как выглядит?abstract type Complex end
struct Complex{T <: Real} <: Complex
...
Или
struct Complex{T <: Real} <: Number
...?
АО
supertype возвращает ближайший абстрактный тип, насколько я понимаю.
VG
complex.jl:
Complex{T<:Real} <: NumberKT
Он абстрактный параметризованный