brendan at mozilla.org
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
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