Return 'this' proposal

[Marek Kozieł]

W dniu 18 marca 2009 03:48 użytkownik Jeremy Manson <jeremy.manson at gmail.com
> napisał:

> Hey Reinier,
>
> I'm unclear on how that doesn't change the type system.  That is,
> you've described an implementation technique that doesn't require a
> change to bytecode (which is nice), but doesn't it still change
> Java-the-language's type system?
>
> Jeremy
>
>
In basics this proposal should do not impact 'type system', but still it
allow to introduce 'This' type.

Because 'this' is not a type, just like void.

And it's very strict, while 'This' can be:
reduced while inheritance (and prevented from stocking)
bounded: This extend OutputStream super … (this would cause activation on
described level)
used in Generics.
-- 
Pozdrowionka. / Regards.
Lasu aka Marek Kozieł

http://lasu2string.blogspot.com/