[Haskell-cafe] Serializing Functions and Actions for Distributed Programming

Einar Karttunen ekarttun at cs.helsinki.fi
Sun Jul 30 17:12:35 EDT 2006

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))
(\x -> x + 1)

at runtime.

- Einar Karttunen

More information about the Haskell-Cafe mailing list