Membership of Type{T}

[Tamas_Papp]

@ckfinite

as isa((Int,), Tuple{Type{Int}}) returns false. What is the logic as to why this is happening?

It is very likely that you are looking for

julia> isa(Tuple{Int}, Type{Tuple{Int}})
true

I would recommend thinking of Type{T} as sugar for dispatching on a type value T, not as part of the type hierarchy. See

How to interpret "Type{T} where T" in Julias Type-system

I have some problems parsing the Julias type-system… and I came up with a few questions. Docs - Types: “Type{T} is an abstract type whose only instance is the object T” How can an abstract type have instances?? As far as I can understand is Type{T} kind of a special thing that has the following defining property: " isa(A,Type{B}) is true iff A and B are the same object and that object is a type". Why has this special thing DataType, Union etc. as subtypes? julia> subtypes(Type) 4-element…