On Wed, Sep 11, 2013 at 8:50 AM, Corey Richardson <[email protected]> wrote: > On Wed, Sep 11, 2013 at 3:27 AM, Gregory Maxwell <[email protected]> wrote: >> Presumably before rust reaches a point of earth-shaking importance >> there will be an second implementation which can compile the first >> compiler, thus permitting this solution. :) > > I wouldn't be so sure of that. There's a ton of trickiness around the > type and borrow checker and everything else, and I'm not sure anyone > would *want* to reimplement it.
At least one academic has expressed interest in doing a clean-slate verified implementation of Rust -- eventually, once the language is stable. (Much easier said than done, of course.) Lindsey _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
