If you want total control over your hardware, you're free to use machine code. Is a type system a leash? I mean surely you want to interpret memory however you want without the language getting in the way of forcing you to use methods. Are unique/shared pointers a leash? Or the borrow checker? They restrict what you can do with your objects because you're a poor programmer who can't code correctly. No true developer needs memory safety. Are calling conventions a leash? Surely you know better how to manage the stack and registers and everyone else should listen to you and do it the way you prefer.