Super-dee-duper D features

[Andrei Alexandrescu (See Website For Email)]

Walter Bright wrote:
> X Bunny wrote:
>> (defun ack (x y)
>>   (declare (fixnum x y))
>>   (the fixnum
>>     (if (zerop x)
>>     (1+ y)
>>       (if (zerop y)
>>       (ack (1- x) 1)
>>     (ack (1- x) (ack x (1- y)))))))
>>
>> The structure is no less obvious to me then the C. I can see the input 
>> and output types are clearly fixnums. The branches of the ifs are 
>> obvious.
> 
> I see:
>     1- x
> in the Lisp code, and have to mentally translate it to:
>     x - 1
> and not:
>     1 - x
> 
> This just hurts my brain.

Probably it's fair to say that the converse (hurting a LISPer brain with 
D code) is not hard to imagine either.

Andrei