06 Aug 2013

If someone tries to end a debate about programming languages by invoking Turing Equivalence, you are allowed to give them a long reel of tape and steal their laptop.

If mathematical equivalence were the only thing that mattered in language design, we’d all be using Turing tape. Turing Equivalence is what qualifies a language to enter the debate, not what finishes it.

comments powered by Disqus