[R6RS] Eval vs. phases

Michael Sperber sperber at informatik.uni-tuebingen.de
Wed Jul 12 01:43:48 EDT 2006


dyb at cs.indiana.edu writes:

>> I've got another question, probably naive:
>>
>> Don't we need to distinguish between expand and run phases *within*
>> the eval phase?
>
> With Model 2, yes, and it's not clear how to do so.  This was what I meant
> by "Unfortunately, this makes eval a bit more difficult to handle, since
> we'll need some sort of argument or wrapper on the expression passed to
> eval to specify the meta levels at which the libraries used by the
> evaluated code are invoked".

I was thinking less in terms of the semantics of execution, but in
terms of what's visible.  Doesn't that problem remain even in Model 1?

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla



More information about the R6RS mailing list