There is a lot of space between 'fully Turing complete' and 'useful' where you can allow certain patterns but not arbitrary code. This area gets discussed every ten years or so.
There was even something called Proof Carrying Code where you make the caller do some of the work up front.
There is a lot of space between 'fully Turing complete' and 'useful' where you can allow certain patterns but not arbitrary code. This area gets discussed every ten years or so.
There was even something called Proof Carrying Code where you make the caller do some of the work up front.