We don't bite newbies here... much | |
PerlMonks |
Re: Perl Cannot Be Parsed: A Formal Proofby zby (Vicar) |
on Jan 30, 2008 at 22:08 UTC ( [id://665231]=note: print w/replies, xml ) | Need Help?? |
Type inference (and as a consequence parsing?) in ML 'and I suspect many other functional languages, is complete in deterministic expotential time. For any practical reasons that's as close to undecidability as possible.
In Section
Meditations
|
|