On Thu, Dec 26, 2013 at 6:29 PM, Nathan Myers <[email protected]> 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 [email protected] https://mail.mozilla.org/listinfo/rust-dev
