A sandboxed version of Haskell

Question

Is there a sandboxed version of Haskell that prevents dangerous code from being run? I stumbled across mueval and Safe Haskell...mueval only takes expressions, and Safe Haskell hasn't been implemented yet. Is there some other alternative for sandboxing Haskell scripts? It seems like preventing IO should be enough. Is there an easy way to prevent all IO in a Haskell script?

Answer 1

Safe Haskell is the latest incarnation of a trusted core for Haskell, and is available in the Haskell Platform.

It exists to facilitate the execution of untrusted code.