World: r3wp

When you bind a block, eg:
	bind [all my words] some-context

an attempt is made to bind each of the words in the block to the 
specified context.

If the context contains the word in question, then the word is bound, 
otherwise the word is left with the same binding as it had before.

So if I
	bind [caret: "hello"] system/view

then the first word in the block gets the same context as this word:
	in system/view 'caret

and thus it also references the same value, because it is the context 
which determines what value a word has.

what does it mean the word it bound? it is registered somewhere at 
memory, in some word table, as belonging to that new context, or 
it just is assigned particular value of tha word in the context we 
are binding it to?

now I seem to understand, just did some small example myself:

block: [print a]
do block ; 'a is not known
my-context: context [a: 1]
do bind block my-context ; now 1 is printed

And note that it works also for sub-blocks:
	do bind [print [a]] context [a: 1]

I don't use bind, as it is more guru stuff, but is the bind as it 
is sufficient for you? e.g. wouldn't you prefer bind not binding 
for sub-blocks by default, and e.g. having bind/deep for such thing?

Yes, I would prefer more options for binding particular parts of 
a block "surgically".

hehe, I can rebind whatever, even functions? do bind [print a] context 
[a: 1 print: :probe]

yes, you can

hmm, but maybe mine is not example of binding anyway, it just simply 
created alias, no?

I would prefer more options for binding particular parts of a block 

surgically"" - that is possible e.g. using my BUILD dialect or other 
instruments...

It *is* an example.

That's true, Ladislav, I was just about to write that it is possible 
to write higher-level functions.

yes, it seems so ... print: :probe is known only in a newly created 
context, or so it seems ...

right, Pekr

'bind offers whole level of interesting low level (or high level, 
it depends how you look at it :-) magic ...

right again

you can "borrow" your values here or there ...

actually, you "borrow" variables, when using BIND

(which is almost the same in many cases)

and when such variable "points to" some other context, you get there 
too with newly binded word? Well, that is interesting also from security 
pov - we have powerfull instrument on one hand, but we have to be 
carefull on the other hand ...

yes, that is why REBOL modules are hard to implement

one question - can we save and send some context, with all its bindings, 
to some other machine, load it there, and theoretically expect that 
such rebol got all identical environment?

no

that could easily mean copying all internal state of particular rebol 
process, right? :-) I wonder is some language makes such a "reflectivity" 
(probably improper word) possible ...

Of course, enter Jaime...

ah, so Scheme?

Confusion for Pekr:

    f: func [x] [x]
    g: func [x] [x]
    var1: first second :f
    var2: first second :g
    bind second :f var2
    bind second :g var1
    f 1
    g 2
    f 3
    g 4

what a mess, isn't it?

yes, it is :-)

Let me guess output: none, none, 1, 2  ?

wrong

Oops.

#[unset!] 1 2 3

Ok makes sense.

fuctnion words remember their values? g 2 results in 1, which is 
there because there was first call to f 1

All words remember their values, unless you rebind the words to a 
different context. Whether a word is in a function body block or 
not doesn't matter.

warning! according to the documentation it is possible that in the 
future REBOL function words will be set to #[none!] or something 
else when the function returns

Anyone have an idea on how INFORM stops the event system and returns 
to the console after pressing a button, allowing it to return a value? 
I've been studying the source of SHOW-POPUP, HIDE-POPUP, INFORM and 
the various POPFACE-FEEL objects, but I can't figure out how it's 
done.

pressing a button = pressing a button in an INFORM

check the wake-event function

basically, inform does a new wait []

Starting at the top:
system/view/event-port/awake --->  system/view/wake-event

wake-event behaves differently when there is a popup open

it returns true (which makes wait [] return) when hide-popup has 
been called

Yes, wake-event calls system/view/popface/feel

inform calls show-popup which creates your new pop-face.

simple and almost useless tool :)

do http://bolek.techno.cz/reb/webtext.r

Hmm not bad.

Very cool bolek! With a few more fields for control of color and 
gradients, and the ability to save as an image, I would suggest it 
for inclusion as a Desktop entry with things like Font-lab and such.