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
Why doesn't `vect` return a union-typed result if the number of elements is small? Internals & Design performance , inference , type	3	615	September 13, 2022
How to tell if a type is an efficient small type union? General Usage	11	1099	December 20, 2018
Small union type failure General Usage	15	1173	April 15, 2021
Partial Specialization of Code General Usage	3	754	February 12, 2017
Performance tips for Union Types Performance	6	2739	February 9, 2024

Type promotion: Why not use more unions?

Related topics