I need your opinion...
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