Skip to content

Comment on Perl and Undecidability (2008)parent

Comments

Well, for one thing, it really shortens the discussion if you take advantage of it. For all languages that require arbitrary code execution in that language at compile time in order to be parsed, parsing therefore is Turing complete and therefore has all properties of Turing completeness, including undecidability. QED.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.