On 5/14/2014 3:42 PM, Brian Schott wrote: > If malloc can never be considered pure, even when hidden behind an allocator, It cannot be pure as long as it can fail. > why can it be considered pure when hidden behind the GC? Because GC failures are not recoverable, so the pure allocation cannot fail.