Re: [Scheme-reports] Current tickets for the 5th ballot - 281

[Alaric Snell-Pym <alaric@x>]

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

On 09/29/2011 05:25 PM, Andre van Tonder wrote:

> On a system that that invokes a compiler on the argument of EVAL, the compiler
> may depend on the textual representation of the code '(cons 1 2).  It may even
> do certain optimizations and rewritings based on the textual representation.
> Again, having procedure objects in here confuses levels and can cause problems
> for such a compiler.

Does it really? Can anyone point to an implementation of EVAL that can't
cope with this?

The counter-argument is that it's useful for implementing sandboxes with
controlled gaps in them. One can wrap an expression in a let that
shadows away dangerous operations (or the ability to re-import them),
but then binds some symbols to procedures from outside the sandbox
(closing over sandbox state) that allow controlled access to things;
then eval it in (scheme-report-environment 7).

ABS

- --
Alaric Snell-Pym
http://www.snell-pym.org.uk/alaric/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk6FfycACgkQRgz/WHNxCGr78wCfbBQq7xOee7XamYGAljjFGIz9
sscAnA9TswQLVgS467AqOB+ZmYxSU2Je
=hp4S
-----END PGP SIGNATURE-----

_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports