A non-Turing-complete language can still express programs that require exponential time and space, so is that really enough to provide useful guarantees? And wo

A non-Turing-complete language can still express programs that require exponential time and space, so is that really enough to provide useful guarantees? And would dynamic limits on resource usage not be sufficient, since the "cannot load configuration"-error would occur at runtime anyway?