In Julia 1.8.3. Given the following two type signatures. (x::AbstractFloat, y::Number) (x::Union{Float64, ComplexF64}, y::Union{Float64, ComplexF64}) I would expect there being an ambiguity error if the input type is (::Float64, ::Float64). But julia> FloatAndComplex64 = Union{Float64, ComplexF6…

Wield behavior of multiple dispatch

GunnarFarneback November 29, 2022, 12:12pm 3

Yes, the compiler considers the union to be more specific.

julia> Base.morespecific(Union{Float64, ComplexF64}, AbstractFloat)
true

julia> Base.morespecific(Union{Float64, ComplexF64}, Number)
true

4 Likes

Topic		Replies	Views
Multiple dispatch unexpected function call General Usage question	21	800	April 4, 2022
Understanding dispatch on types with nested type parameters and covariance General Usage	8	934	May 10, 2019
Dispatch on parametric subtypes General Usage	2	470	September 27, 2018
Dispatch on precice Union instance in place of subtyping supertype of Union General Usage question	7	451	March 31, 2021
Multiple Dispatch with Unions, resolving ambiguities Internals & Design	1	579	September 6, 2020