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. It's a bit beyond the scope of what we're trying to do with D.