Safely running untrusted Haskell code

From HaskellWiki

Obviously, don't run code in the IO monad, just show pure results (or possibly make your own monad that is a restricted subset of IO). But it's a lot more complicated than that...

See also

• See a long discussion in Haskell Cafe.
• The GHC ticket for -fsafe