I need your opinion...
develop4lasu at gmail.com
Sat Mar 21 16:46:48 PDT 2009
W dniu 21 marca 2009 23:42 użytkownik Mark Mahieu
<markmahieu at googlemail.com> napisał:
> 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
If I understand you correctly:
and A & C meaning is same as in <T extends A & C>
and cABC | cAC mean one of ... but we do not know which.
That would be A&B because after each intersection it decrease type
complication, while cABC | cAC would increase it at end.
But this is more about future Java path.
Pozdrowionka. / Regards.
Lasu aka Marek Kozieł
More information about the coin-dev