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	500	November 13, 2019
How to interpret "Type{T} where T" in Julia's type system New to Julia question , type , parametric-types	22	1527	April 7, 2025
Membership of Type{T} Internals & Design question	3	537	April 15, 2020
DataType and Type{T} New to Julia parametric-types	1	457	March 13, 2021
What is difference between Type{T} and T New to Julia type , parametric-types	57	7085	March 17, 2021

DataType and Type{DataType}

Related topics