Why CTFE is context-sensitive?

[Andrei Alexandrescu]

On 1/27/14 1:37 PM, "Ola Fosheim Grøstad" 
<ola.fosheim.grostad+dlang at gmail.com>" wrote:
> On Monday, 27 January 2014 at 21:12:30 UTC, deadalnix wrote:
>> lolwut ? How do you make the difference between a program that won't
>> terminate ever and one that will terminate eventually (say, in several
>> years) ?
>
> 1. The halting problem does not apply to finite resources. The proof is
> trivial: just record all state. You are in an infinite loop when you
> revisit a state your program already has been in. The halting problem
> only applies if you have non-finite storage.

Somebody please give him a T-shirt :o).

Andrei