> [...] how dreadfully hard it is to prevent Turing-completeness from accidentally leaking into a system and gave up that fight. Yeah, that's my impression too

> [...] how dreadfully hard it is to prevent Turing-completeness from accidentally leaking into a system and gave up that fight. Yeah, that's my impression too. TC doesn't actually require all that much. (Of course, making it pleasant is a whole 'nother matter.)