This is a limitation of the particular language/ecosystem though, it feasible in a new language that has this security baked in to the language primitives.