On 30.07 12:12, Jason Dagit wrote: > Depending on the type of sandboxing that you need/want #2 might be > possible with GHC. Take lambdabot for example. lambdabot has made it > safe to allow arbitrary expression evaluation by disallowing IO and > not importing unsafePerformIO and similar "unsafe" functions. >
This is possible as lambdabot has the source code rather than an arbitrary Haskell expression at runtime. Basically how does one differentiate between: (\x -> unsafePerformIO somethingNasty `seq` (x+1)) and (\x -> x + 1) at runtime. - Einar Karttunen _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
