I have a confusing question so I will try to be as precise as possible in my wording. As far as I understand every value in Julia is of a single concrete type. Types themselves are also values. For example DataType is a type under whose value umbrella fall values like Int64, AbstractString, and Da…

[image] HashBrown: Or could I define my own MyType{T} with the same behavior as Type{T} in the language itself. No, Type is magic and has special hardcoded subtyping rules.

DataType and Type{DataType}

General Usage

Keno October 17, 2022, 12:36am 2

No, Type is magic and has special hardcoded subtyping rules.

2 Likes

Topic		Replies	Views
Can I subtype "Type" ? If so how? General Usage	3	490	November 13, 2019
Membership of Type{T} Internals & Design question	3	534	April 15, 2020
DataType and Type{T} New to Julia parametric-types	1	451	March 13, 2021
What is the correct name of supertype(DataType)? General Usage question	4	653	April 28, 2017
Make `Type{}` "covariant" Internals & Design	7	978	December 12, 2016

DataType and Type{DataType}

Related topics