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.

	▲	grommz an hour ago \| parent \| next [-]
		HarmonyOS is a capability based OS. I don't know why anyone in China is still using Rust. The biggest social engineering hack was for the Rust team to convince developers that it is a safe language.
	▲	ptx 2 hours ago \| parent \| prev [-]
		FreeBSD does this with Capsicum: https://wiki.freebsd.org/Capsicum