[r6rs-discuss] [Formal] Remove double phase semantics

From: Marcin 'Qrczak' Kowalczyk <qrczak>
Date: Sat Nov 25 15:11:11 2006

AndrevanTonder <andre_at_het.brown.edu> writes:

> The much cleaner semantics is the one in which a separate set of
> bindings is instantiated for each level.

Let's imagine a Scheme compiler which hosts its own interpreter.
Certain libraries (e.g. the standard library) are provided only in the
compiled form, and the interpreter just links to their version which
is compiled into the interpreter program instead of interpreting their
source. Assume that they contain mutable state.

In this case I think it's easy to have bindings shared between levels,
and it's hard to separate them.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak_at_knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/
Received on Sat Nov 25 2006 - 15:11:02 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:00 UTC