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
Promoting union types General Usage	4	194	February 5, 2024
Performance tips for Union Types Performance	6	2676	February 9, 2024
Abstract supertype or type union for a set of parametric types General Usage type , parametric-types	4	861	October 3, 2018
Union splitting vs C++ Performance	22	4139	July 9, 2021
Why doesn't `vect` return a union-typed result if the number of elements is small? Internals & Design performance , inference , type	3	608	September 13, 2022

Type promotion: Why not use more unions?

Related topics