-----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 [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
