[rust-dev] Defined, precisely defined, and undefined
ncm at cantrip.org
Wed Jan 1 02:06:42 PST 2014
On 12/31/2013 01:41 PM, Patrick Walton wrote:
> On 12/31/13 1:33 PM, Nathan Myers wrote:
>> The possibility of precisely defining the behavior of a bounded
>> channel in all circumstances is what makes it suitable as a
>> first-class primitive.
> Unbounded channels have defined behavior as well. Undefined behavior
> has a precise definition and OOM is not undefined behavior.
Undefined is not the opposite of precisely defined. OOM can not
be part of precisely defined behavior, because it isn't.
More information about the Rust-dev