Re: Memory allocation purity

[Meta via Digitalmars-d]

On Thursday, 15 May 2014 at 00:50:06 UTC, Walter Bright wrote:
On 5/14/2014 5:03 PM, Meta wrote:
Allocating memory through new and malloc should always be 
pure, I think, because
failure either returns null in malloc's case,

malloc cannot be pure if, with the same arguments, it returns 
null sometimes and not other times.


or throws an error in new's case.

A non-recoverable error.
  ^^^^^^^^^^^^^^^

If we pretend that there's infinite memory, then malloc will 
never return null.