To help LDC/GDC

Andrei Alexandrescu SeeWebsiteForEmail at erdani.org
Tue Apr 9 05:56:04 PDT 2013


On 4/9/13 4:04 AM, Dicebot wrote:
> On Tuesday, 9 April 2013 at 07:57:37 UTC, Manu wrote:
>> Are you saying the example above is not actually valid code?
>>
>> struct Foo {
>> int a = 0;
>> pure int bar( int n ) { // Weakly pure
>> a += n;
>> return a;
>> }
>> }
>>
>> That's not pure. Call it twice with the same args, you'll different
>> answers. How can that possibly be considered pure in any sense?
>> And it's useless in terms of optimisation, so why bother at all? What
>> does
>> it offer?
>
> It is valid code. It is "weak pure". "pure' keyword means both
> "strong pure" or "weak pure" depending on function body. Crap.

s/body/signature/
s/Crap/Awesome/


Andrei


More information about the Digitalmars-d mailing list