I was just reading an article describing Sawzall needing to sandbox code really makes me think of Haskell, or some other language with an effect system.