Self type

Brendan Eich brendan at
Tue Aug 14 14:00:11 PDT 2007

On Aug 14, 2007, at 12:46 PM, Nicolas Cannasse wrote:

> Have you not considered having a two-level type spec ? One for
> compile-time and one for runtime ? If I'm not wrong, Java did that  
> with
> generics.

We do not want a profiled or segmented specification, apart from the  
optional strict mode; we do not want erasure. Since strict mode is  
optional (browsers and small-device implementations will leave it  
out), runtime semantics cannot depend on it.

> The only problem so far is that it seems there is no structural types
> support in AVM2/Tamarin yet, or did I miss it ?

No, it's on the to-do list.


More information about the Es4-discuss mailing list