Turing-complete

This is an "Orphan" page. Its core content has not been shared: what you see below is a loose collection of pages and page snippets that mention this page, as well as snippets of this page that were quoted elsewhere.

making a language explicitly non-Turing-complete allows you to easier analyze the code/data in it and ensure that it's safe/optimize it automatically/etc