I'm a little confused – do you want the types of lo and hi to match or allow them to be different? Abstractly typed fields are going to be inefficient and largely defeat the optimizations that immutability would normally allow.
On Mon, Dec 28, 2015 at 11:38 PM, Jeffrey Sarnoff <[email protected] > wrote: > is there a way to do accomplish this? > > immutable Ivl{B<:AkoBound, R<:Real} # R <-- > promote_type(typeof(lo),typeof(hi)) > lo::Real # allow lo, hi > to differ in type (subtypes of Real) > hi::Real > ?? > end > >
