I wanted to ask why type promotion/widening doesn’t use more unions. For example (on 0.62): x=Any[Int32(0), 0]; typeof(collect(i for i in x)) Array{Signed,1} More specifically: Widening takes the most specific abstract supertype. The in-memory representation is, as far as I understand, not more ef…

[image] foobar_lv2: (realistically I would probably take a more conservative limit on union size, e.g. 16, and remove the special handling of Missing/Nothing unions) The compiler is not currently equipped to handle such unions well.

Type promotion: Why not use more unions?

Internals & Design

stevengj February 1, 2018, 8:23pm 2

Best approach for runtime dispatching inside a hot loop (heterogeneous tree structure)

Topic		Replies	Views
Partial Specialization of Code General Usage	3	765	February 12, 2017
How to tell if a type is an efficient small type union? General Usage	11	1115	December 20, 2018
Union of Unions General Usage question	4	659	January 7, 2017
Nullable vs Union General Usage question	16	2232	December 3, 2016
How to avoid Any in list comprehensions with small unions General Usage	5	629	June 8, 2019

Type promotion: Why not use more unions?

Related topics