Vocabulary/eqco4
=: (Is (Global)) Noun/Other
>> << Back to: Vocabulary Thru to: Dictionary
Performs public assignment
myname =: 99 myname 99 myname + 1 100
A name assigned by =: will be accessible from other verbs. This contrasts with Is (Local) (=.) which assigns to names that are visible only in the verb where they are defined.
Note: the value assigned need not be a noun. In the example below, the execution of 3 : 0 produces a verb, which is then assigned to the name verb1. After that, verb1 behaves as a verb.
verb1 =: 3 : 0 NB. Create a verb and assign it to a name. The body of the verb follows: priv =. y + 1 NB. private assignment pub =: y NB. public assignment priv NB. priv is defined inside the verb. Here it provides the result of the verb ) verb1 3 NB. Execute the verb, giving result of 4 4 pub NB. The public name is still visible... 3 priv NB. ...but the private one is not |value error: priv
More Details
Assignment defines a name, giving it a value. When the name appears in subsequent sentences, the assigned value will be recovered.
For new users: J has a hierarchy of namespaces that are searched to find the definition of a name.
An executing explicitly-defined entity has a private namespace all to itself; beyond that are other namespaces called locales.
Normal name lookup searches the private namespace first followed by some of the locales, but you can look in a locale directly by using a locative such as name_loc_ which will look in locale loc.
You can remain blissfully unaware of all this.
If you don't use locatives, all your public assignments and name searches will be in the default locale, and you can focus on the distinction between public and private namespaces.
Simple Assignment
Simple assignment takes the form name =: value. The value may be any of the main parts of speech (noun, verb, adverb, or conjunction). After the assignment, the name takes the part of speech and value of the assigned value.
Any previous definition of the name is superseded by the new value.
In public assignment (as performed by =:), the name is always defined in a locale: in the specified locale if the name is a locative, or in the current locale otherwise. This differs from private assignment (=.) which may define a name in a private namespace.
Public assignment to a non-locative is not allowed if that name is defined in the active private namespace (because it is almost certainly an error: the name so defined could never be referenced, since it would be hidden by the private name).
Names assigned by public assignment are public in that they can be referenced by a locative from anywhere. If the name's locale is in the search path of the current locale, the name can be referenced without a locative, by using the simple name. Names defined in the z locale are in the search path of all locales, and are therefore global: they can be referred to using the simple name from anywhere.
n =: 5 NB. assign a noun n 5 v =: - NB. assign a verb v - v n NB. use the names _5 name_loc_ =: 2 3 4 NB. assign in locale loc
Multiple Assignment
Multiple assignment takes the form 'string' =: value.
The string is broken into words, each of which must be a valid name. The names may be a mixture of locatives and non-locatives. Each item of the value is assigned to the corresponding name, with one level of boxing removed.
The number of items of value must equal the number of names, unless value is an atom, in which case it is replicated to match the number of names.
3 ; 4 NB. a noun +-+-+ |3|4| +-+-+ 'a b' =: 3 ; 4 a NB. Note boxing removed 3 b 4
AR Assignment
AR assignment is a variant of multiple assignment, activated when the first character of string is the back-quote ` . The items of value must be atomic representations (ARs), and each AR is converted to a value before being assigned to the corresponding name.
AR assignment requires that there be more than one name (implementation restriction).
AR assignment is most often used to assign multiple names with verb values:
+`-`*`% NB. 4 ARs +-+-+-+-+ |+|-|*|%| +-+-+-+-+ '`plus minus times divide' =: +`-`*`% NB. Assign 4 verb-names plus + divide % 9 divide 2 plus 1 3
Indirect Assignment
Indirect assignment takes the form (nameexpr) =: value. The nameexpr, when evaluated, must produce either a list of boxed names or a string suitable as the string in multiple or AR assignment. The items of value are assigned to the names as in multiple assignment.
'a' , each '123' NB. An expression creating three names
+--+--+--+
|a1|a2|a3|
+--+--+--+
('a' , each '123') =: 100 101 102 NB. Assignment to the names
a1
100
a2
101
a3
102
Common uses
Used to create nouns, adverbs, conjunctions and verbs, the building-blocks of an application.