Re: [dev-servo] More planning

2013-02-14 Thread Robert O'Callahan
On Thu, Feb 14, 2013 at 7:19 PM, Luke Wagner l...@mozilla.com wrote: Eventually I can imagine writing the JIT in Rust and using some kind of certified compilation to guard against compiler bugs. I haven't really followed this topic; do you really think this would be a feasible approach to

Re: [dev-servo] More planning

2013-02-14 Thread Brian Smith
Robert O'Callahan wrote: I thought we were going to rely on Rust's isolation mechanisms for this kind of finer-grained isolation. I thought that was a big part of the point of introducing Rust in the first place Let's make the assumption that some future web browser-like thing, intended for

Re: [dev-servo] More planning

2013-02-14 Thread Brian Anderson
On 02/13/2013 07:55 PM, Boris Zbarsky wrote: On 2/13/13 10:16 PM, Boris Zbarsky wrote: On 2/13/13 9:47 PM, Brian Anderson wrote: I haven't actually created a DOM-related milestone yet because we haven't come up with a goal that I'm satisfied with (create working dom bindings is vague).

Re: [dev-servo] More planning

2013-02-14 Thread Boris Zbarsky
On 2/14/13 5:33 PM, Brian Anderson wrote: * FFI stack switching - https://github.com/mozilla/servo/issues/278 * FFI virtual calls - https://github.com/mozilla/servo/issues/278 * DOM representation - https://github.com/mozilla/servo/issues/280 * string representation -