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. /be _______________________________________________ Es4-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es4-discuss
