I’m running into trouble having parametric types that I would sometimes like to refer to by their deparametrised UnionAll versions, while only having instances of the types available. Here’s a heavily simplified mock-up of what I’m trying to do: abstract type AbstractContainer end struct Containe…

Adapting this one: [image] Get new type with different parameter New to Julia Have a read through: https://docs.julialang.org/en/v1/manual/methods/#Extracting-the-type-parameter-from-a-super-type-1 The thing is, that parameters might change place, or don’t exist (see the…

Thanks, that’s indeed useful. That would give me a more generic way of implementing the deparametrize function, something like deparametrized_typeof(::T) where T = T.name.wrapper or deparametrized_typeof(::T) where T = getfield(parentmodule(T), nameof(T)) Two follow-up questions: Would somethi…

[image] mhauru: Would something like this come with performance/type stability gotchas? Here’s the version of this I have, which also handles arbitraryily deep UnionAlls like e.g. basetype(Array{Complex{T},N} where {T,N}): basetype(t::DataType) = t.name.wrapper basetype(t::UnionAll) = baset…

Thanks for the @code_llvm stuff, that helps. For merge_containers(x::AbstractContainer, y::AbstractContainer), this is in fact what I’m doing at the moment. The reason I’m not happy with this is that one could accidentally call merge_containers for two different container types, and while this is a…

Deparametrising types

General Usage

mauro3 June 23, 2020, 3:00pm 2

Adapting this one:

Topic		Replies	Views
Dynamic union of parametric types General Usage parametric-types , types	21	277	May 27, 2025
UnionAll as a Type Parameter General Usage parametric-types	3	1665	February 1, 2022
Tricky parametric type dispatch General Usage parametric-types	4	1076	April 12, 2019
Modify Parameters of Type General Usage	6	1162	August 18, 2017
Type system limitations General Usage question , parametric-types	5	752	February 21, 2020

Deparametrising types

Related topics