Memory allocation purity

[Timon Gehr via Digitalmars-d]

On 05/16/2014 01:56 AM, Walter Bright wrote:
> On 5/15/2014 4:00 PM, H. S. Teoh via Digitalmars-d wrote:
>> What if the language allowed the user to supply a proof of purity, which
>> can be mechanically checked?
>
> I think those sorts of things are PhD research topics.

Well, feasibility has long ago been demonstrated and I hope those ideas 
will eventually see general adoption.

> It's a bit beyond the scope of what we're trying to do with D.
>

Sure, but it still makes sense to be aware of and think about what would 
be possible. (Otherwise it is too tempting to get fully sold on inferior 
technology, based on the mistaken assumption that there is no way to do 
significantly better.)