[rust-dev] Defined, precisely defined, and undefined

Nathan Myers 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.

Nathan Myers


More information about the Rust-dev mailing list