R6RS hosting Scheme-E?
Pierre THIERRY <[email protected]>
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <[email protected]> |
Hi all, I only recently looked closely at the latest revision of The Revised Report on the Algorithmic Language Scheme, R6RS, because I was interested to see if there's any changes on what kind of environment one can provide to EVAL. Portably, in R5RS, you can only provide the full R5RS environment, the environment of the listener or what is called the null environment, which is an empty environment but with all syntactic keywords required by R5RS, including the infamous call/cc (others may be against the ocaps model)... But in R6RS, you can build completely arbitrary environment with library forms[1] and the environment constructor[2]. Coupled with the factory as already devised by Norman Hardy[3], it means you may quite trivially have a object-capability subset of Scheme. Has anyone already investigated this? [1] http://www.r6rs.org/final/html/r6rs/r6rs-Z-H-10.html#node_sec_7.1 [2] http://www.r6rs.org/final/html/r6rs-lib/r6rs-lib-Z-H-17.html [3] http://www.cap-lore.com/CapTheory/Language/Scheme/SchemeFactory.html -- [email protected] OpenPGP 0xD9D50D8A