[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Transient environment with standard functions

From: Matthew Keeter
Subject: Re: Transient environment with standard functions
Date: Fri, 10 Jun 2016 18:31:14 -0400

The specific use case is for dataflow graphs, where you’re evaluating a bunch 
of small
snippets of code that can refer to each other by name.

I’d like to make an environment in which the variables in the same subgraph are
exposed as no-argument thunks.

For example, let’s say I have one subgraph that contains
    a = “12” => evaluates to 12
    b = “(+ 1 (a))” => evaluates to 13, since the (a) thunk evaluates to 12

and another subgraph which contains
    x = “1” => evaluates to 1
    y = “(* (x) 2)” => evaluates to 2

If I insert the thunks into (scheme-report-environment 5), they leak from one 
to another – and to be fair, the docs to say that assigning into this 
environment is
undefined behavior.

However, if I make an empty environment with (null-environment), it doesn’t have
useful functions like + and *; looks like (make-module) has the same issue.

I'm sure that this is possible in Guile, but I got tired of reading through the 
files to hunt down undocumented function that do what I need [1].


[1] Another recent incident: How do you programmatically list all of the 
variables in a module? 
You search the web, find, see 
a a reference to
module-map, which doesn’t exist in the documentation, dig it up in the source 
to see its
arguments, etc…

On Jun 10, 2016, at 6:11 PM, Basa Centro <address@hidden> wrote:

>> First of all: is the "sandboxing" aspect of these environment important?
> Taylan,
> Thanks, that's exactly what I meant by "motivation" in my first reply.
> (There was a recent, 6 months ago or so, thread on sandboxing in
> guile-user by the way.)
> Was Matt trying to prevent _access_ (inaccessible vs. read-only vs.
> read/write) to data?  Or was he trying to prevent only _visibility_
> (e.g. for hygeine)?
> I think we need to know more about "what" and "why" to answer his
> question, rather than just "how"--if that makes any sense.  Does
> Racket [1] even _really_ achieve what he needs to do (_prevent_ access
> for example)?  We don't even know if we don't understand the
> higher-level purpose.
> (Basa)
> [1] Disclaimer: I like Racket too--it is a great project.  I just hate
> to see someone leave Guile because of a minor technicality.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]