I think one argument would be that the language seems to be effect based.
This allows you to control what a program can do without auditing the code.