On Thu, Dec 26, 2013 at 6:29 PM, Nathan Myers <n...@cantrip.org> wrote:
> A systems language meant to implement rigorously specified > designs needs to be as rigorously specified itself -- a huge job, > at best. For that, it needs a primitive with behavior that can > be completely and precisely expressed for all runtime conditions. This is an excellent point, thank you! So here's a big question: if Rust tasks and channels were the underpinnings of an operating system kernel, would unbounded channels be suitable or not? -- Tony Arcieri
_______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev