simple modules

[ihab.awad at gmail.com]

On Tue, Feb 2, 2010 at 8:51 PM,  <ihab.awad at gmail.com> wrote:
> On Tue, Feb 2, 2010 at 8:19 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
>> The primary solution here would be to set up a restricted Context
>> which restricted access to particular stateful modules (this of course
>> works for all stateful modules).
>
> Yeah -- well, we can work something out for bootstrapping authority in
> to Contexts.... Perhaps only a root module would be given some
> authority? Let's think about it.

Actually, here's how to make your proposal work, I think ...

Create a context that allows *only* transitively immutable modules.
Use it to load the root-most module, returning the module instance.
This "instance" is actually just a transitively immutable structure.

Now call one or more of the functions of this instance, passing some
authority. Each call results in a disconnected object graph with only
the authority it was provided.

Ihab

-- 
Ihab A.B. Awad, Palo Alto, CA