[Haskell-cafe] More on the random idea

[Isaac Dupree]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Donald Bruce Stewart wrote:
> I've listed the mechanisms we use, and exploits that have been thought
> of, or discovered, over the years, on the page:
> 
>     http://haskell.org/haskellwiki/Safely_running_untrusted_Haskell_code

(Maybe some of the discussion should move to the talk page?)

which is making me think.

"The expression is bound to a random top level identifier (harmless to
guess)"

What about the non-recursive

case ...expr... of x -> take 2048 (show x)

this way expr can't refer to x (it doesn't at all need to be randomly
generated this way) and definitely can't bind other things like take and
show (they probably should be qualified anyway)

Isaac
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGWbWYHgcxvIWYTTURAmI8AJ9cesD8W26GWjENhwVUpxU997c+SwCeO1F9
iPqHvwztBJH78S4PT4/TpNI=
=0xzE
-----END PGP SIGNATURE-----