Ironclad C++

[deadalnix]

On Sunday, 4 August 2013 at 09:52:01 UTC, Kagamin wrote:
> On Sunday, 4 August 2013 at 02:41:18 UTC, Timon Gehr wrote:
>> D's inout is a somewhat failed attempt
>
> Why?

It only work for qualifiers. The same issue arise in much for 
various form where inout can't do anything.

What a bout a function which is pure depending on if a function 
passed as parameter is pure or not ? or return a function the 
same way ?