>That means, for example, that the build system cannot guarantee that a build will finish That's impossible anyway because one of the plugins or the core build

>That means, for example, that the build system cannot guarantee that a build will finish That's impossible anyway because one of the plugins or the core build code may never halt. Abandoning turing completeness shouldn't be about that anyway. It should be done because it's demonstrably not needed to solve a problem.