On Tue, Jul 23, 2013 at 7:30 AM, Ben Kloosterman <[email protected]> wrote:
> To me whole program static compilation , Rusts explicit / lexical scope > crates and some c libs goes a long way in those scenarios as long as > someone can come up with new smart libs / services later. > Wait. The whole problem under discussion is that Rust *doesn't* have lexically scoped crates! Trait implementations aren't lexically scoped. Also, nobody has answered my question from several days ago: what happens when a trait implementation needs to cross a Rust crate boundary? How is that typed, and how is the implementation passed? If we're relying on whole-program, we haven't solved *any* of the problems that BitC wanted to solve.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
