[cap-talk] Bounded Computation (was Re: where(), and a mobile-code JS-over-Python experiment)

[Bill Frantz]

On 4/11/10 at 10:46 PM, warner at lothar.com (Brian Warner) wrote:

>I must admit I'm not clear on the difference between recursive and
>"primitive recursive", though, which might have a bearing on this stuff.
>And anyways, a language in which you aren't allowed to make function
>calls is pretty limiting.

Heck, I always thought that a language where you can't do loops 
is pretty limiting. :-)

Although, you might be able to allow some manifestly finite 
loops, like "for each element in array A", where you could 
logically "unroll" the loop for "size of program" estimation.

Cheers - Bill

---------------------------------------------------------------------------
Bill Frantz        |"After all, if the conventional wisdom was 
working, the
408-356-8506       | rate of systems being compromised would be 
going down,
www.periwinkle.com | wouldn't it?" -- Marcus Ranum