Clear questions and runnable code get the best and fastest answer |
|
PerlMonks |
Re: Perl Cannot Be Parsed: A Formal Proofby Anonymous Monk |
on Aug 13, 2009 at 22:26 UTC ( [id://788460]=note: print w/replies, xml ) | Need Help?? |
I'm confused by this proof and I don't buy it, especially since the definitions, including that of "parsing," are too imprecise to warrant some reduction proof. You also don't need reduction to show the existence of an example, which is what you're essentially trying to do. You seem to be making the claim that when you have code
then foo() will be declared only when x() terminates. But that's like writing this Java code
and asking whether "x" will ever be declared, which says absolutely nothing about how this program is parsed (and it's parsed fine). Cheers.
In Section
Meditations
|
|