ВФ
supertype(Complex{Int}) при вычислении превращается в supertype(Complex)Size: a a a
ВФ
supertype(Complex{Int}) при вычислении превращается в supertype(Complex)АО
supertype работает как заявлено - он возвращает тот абстрактный тип, который был указан при объявлении.ВФ
KT
KT
KT
АО
ВФ
АО
julia> Complex <: Complex{T} where T
true
julia> Complex >: Complex{T} where T
falseАО
KT
АО
julia> typeof(Complex)
UnionAll
KT
АО
UnionAllВФ
ВФ
АО
julia> abstract type Foo{T} end
julia> typeof(Foo)
UnionAll
julia> typeof(Foo{Int})
DataType
julia> Foo <: Foo{Int}
false
julia> Foo >: Foo{Int}
trueАО
АО
function f(x::Vector)
AL