Justin Johansson: > What's the best way of emulating a system of quantified type unions in D > (D1)?
Having nullable values may be useful, having nonnull class references can probably be very useful, having tagged unions (I am talking as C unions here) can be useful. But can you show me some usercases/purposes for what you are asking for? I think other people too here are curious. Bye, bearophile
