I need your opinion...

[Mark Mahieu]

2009/3/21 Marek Kozieł <develop4lasu at gmail.com>
>
>
> but it could be extended to (in matter of time):
> A&C  y = (true?new cABC():new cAC());


Ah, but is it A&C or ABC|AC ?

:)

If you haven't seen it, you may find the following paper interesting:

'Union Types for Object-Oriented Programming', Atsushi Igarushi and Hideshi
Nagira, Kyoto University, Japan. ACM SAC 2006


Mark