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

[Einar Karttunen]

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