> IMHO that's like saying higher level programming languages than assembly are unnecessary. Or that a debugger is useless. These two statements are quite diffe

> IMHO that's like saying higher level programming languages than assembly are unnecessary. Or that a debugger is useless. These two statements are quite different. Higher level programming languages than assembly are unnecessary; anything beyond the lambda calculus is unnecessary (assuming our goal is to compute Turing computable things). That's very different from saying that they're useless; just because they can be done without doesn't mean that they should.