I need your opinion... (original) (raw)

Marek Kozieł develop4lasu at gmail.com
Sat Mar 21 14:56:51 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?

That would be type of type's intersection, just like it work now days:

class A {} class B extends A {}

public static void main(String[] args) { B some= (true?new A(): new B()); // error cannot cast A to B }

-- Pozdrowionka. / Regards. Lasu aka Marek Kozieł

http://lasu2string.blogspot.com/

More information about the coin-dev mailing list