[Date Prev][Date Next][Thread Prev][Thread Next] [Search] [Date Index] [Thread Index]

Re: [FWP] Stumper



An entity claiming to be Piers Cawley (pdcawley@bofh.org.uk) wrote:
: 
: Isn't this a halting problem issue?
: 
: foo { bar() if bar() && bar() };
: 
: How many times does bar get run?
: 

I had wondered that myself, but I don't think it is.  Schwern's question
was how could you determine if it is the same code, not the same function.
If you replaced bar() with $bar->(), then it would be an instance of the
halting problem.  In that case, to prove that the functions referenced were
identical, you would have to run them.

Mark

-- 
[]                   | "Girls in occupied countries always
[] Mark Rogaski      | get into trouble with soldiers," she
[] wendigo@pobox.com | said, when I asked her what the Virgin
[]                   | birth was.  -- Florence King, CoaFSL

PGP signature