Hey everyone, could someone explain this subtyping behavior to me? It does not seem intuitive to me. Array{T where T} <: AbstractArray{T where T} # true Array{Array{T where T}} <: AbstractArray{Array{T where T}} # also true Array{Array{T where T}} <: AbstractArray{AbstractArray{T where T}} # f…

To elaborate a bit more, if x <: y then in general Point{x} <: Point{y} may not always be true. To begin, your first and second example work because Array <: AbstractArray and what you are passing inside {} are exactly the same i.e. in the second example, you are declaring x = Array{T where T} and…

[image] Array{T, 1} where T<:Real versus Array{T where T<:Real, 1} General Usage T1 = Array{T, 1} where T<:Real represents all possible arrays of the form [T, T, T, T, . . . ], i.e., any array of T1 consists of elements of the subtype of Real and they have to be of same t…

Unexpected subtyping behavior <:

General Usage

Mattriks November 30, 2019, 8:08pm 2

Topic		Replies	Views
Array{T, 1} where T<:Real versus Array{T where T<:Real, 1} General Usage question	5	1250	November 19, 2019
Why? isa([(x,1),(y,1)], Array{Tuple{Stuff,Number},1}) = false General Usage	25	1822	February 23, 2021
Why does (AbstractArray{Union{Number, T}} where T <: Nothing) != (AbstractArray{Union{Number, Nothing}}) General Usage	1	374	January 11, 2019
SubArray is not AbstractArray General Usage	1	459	February 22, 2018
Correct argument type for ::Array{Array{<:Real,1},1}) General Usage	6	411	January 9, 2020

Unexpected subtyping behavior <:

Related topics