The point isn't about abstracting away the machine, but about reducing the amount of code that has no safety guarantees.
The point isn't about abstracting away the machine, but about reducing the amount of code that has no safety guarantees.