I try to understand when to use Union types versus constructing custom type hierarchies. One peculiarity is how nothing / missing behave like you would hope for julia> f(x) = isodd(x) ? nothing : Some(x) julia> f.([1,2,3]) 3-element Array{Union{Nothing, Some{Int64}},1}: nothing Some(2) nothing …

How to enable type inference on own types similar to what julia supports for nothing and missing?

rdeits May 13, 2020, 7:58pm 5

4 Likes

Topic		Replies	Views
Small union type failure General Usage	15	1237	April 15, 2021
Promote not working for nothing, while promote_type works General Usage	8	648	July 15, 2020
Why would closure break type inference? General Usage	12	702	March 7, 2020
Type inference through an if statement on a type parameter General Usage	2	581	December 4, 2017
Alternatives to `Base.promote_op(op, ::Type...)` for `op::Type`? General Usage	7	1326	August 9, 2017