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
How to interpret "Type{T} where T" in Julia's type system New to Julia question , type , parametric-types	22	1319	April 7, 2025
A precise definition of what it means to be an instance of an abstract type New to Julia question	42	1520	March 18, 2021
Are `Int64` and `Float64` of the same type? General Usage question , type	5	574	April 27, 2024
Can I subtype "Type" ? If so how? General Usage	3	480	November 13, 2019
DataType and Type{T} New to Julia parametric-types	1	429	March 13, 2021

DataType and Type{DataType}

Related topics