* Ephemeron Tables: < http://wiki.ecmascript.org/doku.php?id=strawman:ephemeron_tables>
Revised to address Allen's concerns with the previous proposal: < http://wiki.ecmascript.org/doku.php?id=strawman:allen_wirfs-brock_s_comments_on_ephemeron_table_proposal>. When previously presented on es-discuss and at the January committee meeting, the general sense was favorable, but it got stalled because of the objects Allen records in this note. With these concerns addressed, I suggest this strawman be considered again at the upcoming May committee meeting. Together with Proxies they enable membranes, finally making safe mashups practical <http://code.google.com/p/es-lab/wiki/SafeMashups>. * Proper Tail Calls: < http://wiki.ecmascript.org/doku.php?id=strawman:proper_tail_calls> Brendan noticed <https://bugzilla.mozilla.org/show_bug.cgi?id=445363#c20> that ES5/strict, and thus ES-Harmony, already makes proper tail calls (also known as tail call optimization) an unobservable optimization, and therefore allowed by the spec. However, merely allowing it does not say when programmers should be able to assume that the optimization is performed. This strawman takes steps towards specifying when programmers may make such assumptions. I do not suggest this be on the agenda for the May meeting, but I do not object if others wish to discuss it. * Thoughts on GC Semantics: < http://wiki.ecmascript.org/doku.php?id=strawman:gc_semantics> Since GC is unobservable, specifying it is tricky. This difficulty affects all GC-aware proposals: Ephemeron Tables, Proper Tail Calls, and the not-yet-ready Weak References < http://wiki.ecmascript.org/doku.php?id=strawman:weak_references>. Here, I've captured a start on a framework for specifying GC semantics. GC aware proposals should be specified in terms of this framework. * Const Functions: < http://wiki.ecmascript.org/doku.php?id=strawman:const_functions> ES5 makes high integrity possible. One of the mission statements for ES-Harmony (at <http://wiki.ecmascript.org/doku.php?id=harmony:harmony#means>) is to provide syntactic conveniences for high integrity patterns. Const Functions are such a syntactic convenience. Although further syntactic conveniences may be desirable, I find that this one, together with the others already promoted from strawmen to proposals, is the minimal I need to make high integrity programming convenient. Examples are seen throughout the example use case in the ephemeron tables and weak reference strawmen. I suggest this also be considered at the upcoming May committee meeting. -- Cheers, --MarkM
_______________________________________________ es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss
