Tuple constructor forgets types

General Usage
10

Type{T} basically only exists to make dispatching on types possible - all types (Int, String etc) are basically instances of type DataType.

julia> typeof(Int)   
DataType             
                     
julia> typeof(String)
DataType

Since you can’t usually dispatch on values (that would require some form of dependent type system), this Type{T} was invented to make it possible anyway.

There’s some more information in this juliacon talk from a few years back (should be timestamped, but in case it isn’t, relevant section starts at 13:00):

2 Likes