I know that if I had some function function a(b::Integer) then I can call a using parameters of any sub-type of Integer, so Int64 or Int32, for example. I am wondering if there is any way to do the same thing with vectors, by this I mean make some function function u(v::Vector{Integer}) which a…

Error caused by Sending Vector{Int64} to Vector{Integer} type function

StefanKarpinski June 22, 2022, 5:30pm 2

The signature should be u(v::Vector{<:Integer}). Parametric types in Julia are invariant rather than covariant (or contravariant).

6 Likes

Topic		Replies	Views
Implement a function for Vectors of all subtypes New to Julia question	4	1249	November 29, 2016
Why can't I use Vector{Int64} with functions expecting Vector{Integer}? New to Julia question , type , multiple-dispatch	4	738	December 17, 2022
What's with the invariant parametric types gotcha? New to Julia	3	657	February 11, 2021
Why doesn't an argument of Vector{Vector{T} where T<:Real} accept a variable of Vector{Vector{Int64}}? New to Julia	2	1243	May 9, 2018
Confused about parametric method definitions New to Julia	2	891	May 24, 2017