I need your opinion...

Marek Kozieł develop4lasu at gmail.com
Sat Mar 21 15:22:46 PDT 2009

2009/3/21 Florian Weimer <fw at deneb.enyo.de>:
> * John Rose:
>> On Mar 21, 2009, at 12:52 PM, Marek Kozieł wrote:
>>> Allow final variables and final Fields (except blank final), to not
>>> having explicit Type.
>> Yes.  Someone should work exactly this (and no more) into a separate
>> proposal, if it hasn't been done already.
> What should be the inferred type of an expression with an intersection
> type?  Is there an answer which is acceptable in the COIN context?

After some thoughts:

 interface A {}

 interface B {}

 interface C {}

 class cABC implements A, B, C {}

 class cAC implements A, C {}

public static void main(String[] args) {
    Object  x = (true?new cABC():new cAC()); // now days

but it could be extended to (in matter of time):
A&C  y = (true?new cABC():new cAC());

  Pozdrowionka. / Regards.
  Lasu aka Marek Kozieł


More information about the coin-dev mailing list