in reply to Re: BlooP and FlooP and GlooP: Turing Equivalence, Lazy Evaluation, and Perl6
in thread BlooP and FlooP and GlooP: Turing Equivalence, Lazy Evaluation, and Perl6

OK, how about the difference between a program computing the digits of pi, and the program trying to decide Russell's Paradox? The first one keeps churning out digits (aka, "progress"). The second one never achieves any progress (or in some formulations, positive and negative progress in infinite alternation).

You can compute pi to any arbitrary precision. You can't get anywhere with the other.

-QM
--
Quantum Mechanics: The dreams stuff is made of

  • Comment on Re^2: BlooP and FlooP and GlooP: Turing Equivalence, Lazy Evaluation, and Perl6