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

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

at runtime.

- Einar Karttunen