So I know the following code is not type stable: foo(x::Int64, y::Float64) = x < y ? x : y As a human I understand that the return type of this function must be Union{Int64, Float64}. Does the compiler also understand this? In a function that calls foo will union splitting be used in order to ma…

[image] HashBrown: Does the compiler also understand this? In a function that calls foo will union splitting be used in order to make the code performant despite the type instability here? Yes and yes.

Type Instability and Union Splitting

General Usage

carstenbauer October 18, 2022, 6:37am 3

Yes and yes.

1 Like

Topic		Replies	Views
Is Julia able to optimize functions that can either return one specific type or `nothing`? Performance	2	932	May 3, 2019
Type container equivalence General Usage	9	501	April 19, 2023
Type stability for returning abstract types General Usage performance , type , type-stability	1	727	May 14, 2018
Union of Unions General Usage question	4	672	January 7, 2017
Nullable vs Union General Usage question	16	2274	December 3, 2016

Type Instability and Union Splitting

Related topics