Is it possible to dispatch on parametric types? Something like that: function f(x::F{Int}) where F end Dispatch on types parameterized on ints. Thank you.

No and it most likely won’t be added since it is believed that this could make the dispatch complex enough to be undecidable. Also, for this particular case (covariant) it is ambiguous what you want when you have x::T and T <: T1{Int,Int} <: T2 <: T3{Int}. Would you want T1 or T3? or do you want no…

Well, T <: T1{Int} <: T1 {Int, Int}. The point I’m making is basically that the way type parameters are applied isn’t a fundamental property of the type.

Dispach on parametric types

New to Julia

Maikon_Araujo January 26, 2020, 2:18pm 3

Thank you for the fast reply. It is really a good point, for the example you gave I guess it should be T3, once it is the closest match for the type. Unless someone provides g(x:F{int, int}), where in that case would be T1.

Topic		Replies	Views
Parametric method type matching issue Internals & Design	10	805	May 19, 2019
Understanding dispatch through TypeVar General Usage question , type , parametric-types	4	157	July 27, 2025
Problems with dispatching of Base.iterate New to Julia	3	395	July 1, 2020
Request: "type functions" for parametric dispatch Internals & Design question , proposal , type , parametric-types	5	2432	February 1, 2019
Dispatch function based on value of parametric type General Usage parametric-types	11	3708	February 21, 2018

Dispach on parametric types

Related topics