More than that, we need capability-based languages. No capability passed to it, no permission.
First we need capability-based OSes, like we should have had decades ago if worse-is-better hadn't stuck us with Unix. I don't need to care whether or not a program was written in a capability-aware language if the OS fundamentally takes care of that for me.
Why not object capability languages: https://blog.plan99.net/why-not-capability-languages-a8e6cbd...