return in loop for ?
duncan.booth at invalid.invalid
Thu Nov 24 13:51:34 CET 2005
Steven D'Aprano wrote:
>> While outwardly they apear to offer a technique for making software
>> more reliable there are two shortcomings I'm leery of. First, no
>> verification program can verify itself;
> That's not a problem if there exists a verification program A which
> can't verify itself but can verify program B, which in turn also can't
> verify itself but will verify program A.
That is logically equivalent to the first case, so it doesn't get you
anywhere. (Just combine A and B into a single program which invokes A
unless the input is A when it invokes B instead.)
More information about the Python-list