no, it's to enforce effect control and purity in t...

# language-proposals

[raulraja]

no, it's to enforce effect control and purity in those functions you want them to stay that way. Once a function is flagged as pure nobody can change it's transitive dependency graph introduce mutability or side effects therefore you have guaranteed safety until you choose to execute the effects.