I need your opinion...

Mark Mahieu markmahieu at googlemail.com
Sat Mar 21 15:42:10 PDT 2009

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


More information about the coin-dev mailing list