(Not specific to this language and I'm not vouching for this in any way, but:)

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.