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.
