________________________________________________
Get your own "800" number
Voicemail, fax, email, and a lot more
http://www.ureach.com/reg/tag


---- On Tue, 9 May 2006, Ladislav Mecir ([EMAIL PROTECTED])
wrote:

> you encountered one "unusual" REBOL property - aliases. See
this:
> 
>     alias 'a "aa"
>     a: 4
>     aa ; == 4
>     aa: 5
>     a ; == 5

That is exactly what should happen! (because)

alias 'a "aa"


> The same does not hold for any pair of words referring to the
same value (which we don't call aliases in REBOL)

1. Who is "we"? 

2. How can any pair of words refer to the same definitional
("value") and not have the status of "alias"?

I am not privy to the internals of REBOL, but is it not the case
that 

1) two words with "identical looking" definitionals ("values")
point to two different objects in the REBOL's global
context(memory)?

>> a: "this is a string"
== "this is a string"
>> b: "this is a string"
== "this is a string"

>> same? a b
== false
>> equal? a b
== true

>> ; using my aliases? not Ladislav's
>> aliases? 'a 'b
== false

>> a == b
== true
>> count? a
== 16
>> count? b
== 16
>> parse a [b]
== true
>> parse b [a]
== true

- and -

2) when one word is a pointer to another word, they both point
to the same definitional and REBOL looks up the definitional by
passing a chain (right-to-left) of the definitionals when
parsing (left-to-right), which gives true for both same and
equal

>> cc: :a
== "this is a string"
>> same? a c
== true
>> equal? a c
== true

>> ; using my aliases? not Ladislav's
>> aliases? 'a 'c
== false

>> parse a [c]
== true
>> parse c [a]
== true

So, again. Is this truth? It would appear that

1) you meant to write in your bindology article, 

"What is necessary for two words to be *aliases*? Two words are
*aliases* if they are equal (have the same symbols in the exact
same sequence) and *don't have the same face-value spelling*.

---> where my edit is contained by the * * pairs, inclusive

Spelling has nothing to do with it! 

Two words are aliases if and only if their definitionals are
equal AND they point to the exact same (one and only one)
definitional existing within REBOL controlled memory.

Thoughts? 

Pier

-- 
To unsubscribe from the list, just send an email to 
lists at rebol.com with unsubscribe as the subject.

Reply via email to