With[{v1 = c1, ...}, expr]
...is a scoping construct that substitutes c1 everywhere v1 appear in expr.
"v1" cannot be reassigned within expr.
Any CharacterSet may be used to represent Grok32` code. For example,
With[String[Name]["cNam"], {card1, card2, ...}]
...constructions interpret the List of Cardinals, {card1, card2, ...}, as a Character string.
This Character string is conditionally reckoned as an Expression.
"With" indicates association
in the way of possession, care, or attribute.
See the English definition for "with".
With is used to specify
named constants in an Expression Sequence.
The first argument in With declares and
assigns the constants. These assignments are then substituted into all
subsequent arguments in the With
construction before they are evaluated. E.G.
(1) With[{v1 = c1, v2 = c2]...}, expr]
...or, formally, without implicitly using the StandardASCIIRuleList,
With[List[Name[v1,
c1], Name[v2, c2],...], expr]
The above elicitation, substitutes c1 everywhere v1 and substitutes c2 everywhere v2 appear in expr.
v1 and v2 cannot be
reassigned within expr.
A name declared in the first argument of With[{nam}, ...], supercedes
any interpretation that name may have outside of With's brackets.
Unlike Cast constructions, a Name declared in the 1st argument of a With construction cannot be reassigned.
Any CharacterSet may be used to represent Grok32` code.
If {card1, card2, ...} is a List
of integer CharacterCodes, and "cNam"
is the StringName of some CharacterSet, then...
(2) With[String[Name]["cNam"], {card1, card2, ...}]
...constructions interpret the List of Cardinals,
{card1, card2, ...}, as a Character
string.
This Character string is conditionally
reckoned
as an Expression.
{card1, card2, ...} is treated exactly like the String
argument to Reckon[String]["cNam"],
except the String
argument is rendered from the List of Cardinals,
{card1, card2, ...}.
Note that the first argument in (2) is not enclosed in a List,
while the second argument IS ALWAYS a List of Cardinals.
(By contrast, the 2-argument With-construct in (1) always begins with
the List of Name[symbol, assign]-constructs that rule in the 2nd
argument.)
"cNam" (above in (2)) is either a recognized CharacterSetName in the environment, or it is a StringName. This StringName is used to identify a ResourceObject which is loaded into memory (if possible), thereby defining the CharacterSet used to interpret {card1, card2, ...}. Reckoning (2) will invoke the Kernal, if {card1, card2, ...} represents executable Grok32` code (in the "cNam" CharacterSet). An attempt is made to interpret {card1, card2, ...} as Characters comprising an Expression. If the attempt to parse {card1, card2, ...} into an Expression fails, there is no input to the Kernal since no Expression is Reckoned. An index to the element in {card1, card2, ...} where the reckoning failed is returned with the error message.
With some reformatting, String[Cardinal]["str"]
is, essentially, the inverse or (2).
with (in northern England
usually with and often in America, esp. if accented or before a
voiceless consonant; 234), prep.
In general, with denotes a relation of proximity, contiguity, or association. In various applications:
1. Indicating opposition, being equivalent to against; specif.;
a Obs. In or into the place of; in exchange for.
b With intent to stop, thwart, overcome, or excel; in hostility to; --whether of action or will, with words denoting strife, competition, contention, litigation, and the like.
Thy servant will fight with this Philistine. 1 Sam. xvii. 2.
c Now Naut. Up to and near to; alongside of.
2. Indicating association of a reciprocal kind or by way of participation in an action or transaction; specif.;
a In speech, words, or other form of
communication
addressed to; by exchange between ones self and; as, to talk with friends;
formerly, also,
~ TO, ask after impart,
communicate,
b Archaic. In the mind or will of; --used with reflexives.
c So as to give something to and receive something from; engaged in for mutual action, advantage, etc., by; in the employment of; as, to trade with the natives; at treaty with Spain; he is now with a shipbuilding concern.
3. Indicating association as object of attention or concern; specif.:
a Toward as affecting or, as regard disposition, as you will with your own; asks what we want with him; acquainted with poverty; also upon or over; as, influence with the mayor.
b In or according to the experience or practice of; in the performance, operation, or use of; as, customary with the Greeks; the trouble with this device is its fragility.
c With respect to; --indicating the object after elliptical adverbial expressions equivalent to imperatives; as, to the fiend with her; off with his head.
d In the case of; so far as concerns; as, satisfactory with me; usually fatal with children.
4. Indicating association in the way of comparison, equality, or sameness; as, on equal terms with another; this act is one with the conduct of scoundrels.
Can blazing carbuncles with her compare? Sandys.
Also:
a Quite as well as; not inferior to; as, he can
pitch with the best of them.
b Obs. exc. Dial. After be, even with, that is revenged upon.
5. Indicating association by way of alliance, assistance, or harmony; specif. :
a Toward; in respect to; --after words expressing agreement or sympathy, disagreement, etc.; as, on friendly terms with all nations.
b On the side of; favoring the action or opinion of; willing to give aid or support to.
Fear not for I am with thee, and will bless thee. Gen. xxvi. 24.
c For a help or protection to; as, luck be with you.
d After the manner or judgment of.
"Better to err with Pope." Byron.
e Moving in the same direction and hence favoring; as, to have the tide with us.
6. Indicating association in respect of sphere; hence, in the estimation, sight, or opinion, of.
One day is with the Lord as a thousand years. 2. Pel. iii. 8.
Such arguments had invincible force with those pagan philosophers. Addison.
7. Indicating causal connection; specif.;
a By or through the means of; through; as, to defend himself with a club; to amuse on with an anecdote.
And tire the hearer with a book of words. Shak.
b Because of; through the operation or effect of; as a result of; as, a woman killed with kindness; to perish with hunger; what with winter and mutinies, the general was ready to retreat.
c By the addition or provision of, in the way of contents, material, food, etc, esp. after words of filling, equipping, arraying, encircling; as, to fill a box with straw; to surround oneself with counselors.
d Through the agency of; also, through the sexual participation of; --now replaced, except in dialectal uses, by by.
That with these fowls I be all to-rent. Chaucer.
Here is himself; married, as you see, with traitors. Shak.
e By reason of having, containing, giving forth, etc., esp. in doer, giver, or victim of; --formerly also after accuse, suspect; as, charges with arson; threatened with tuberculosis.
8. Indicating attendance by way of manner, circumstance, purpose, result, condition, etc. upon action or expression; as, dismissed with thanks; to have with an intense hate. Hence, specif.;
a Granted that a person has or receives; having, or receiving; given; --usually introducing a courteous proviso; as, with your permission.
b Offering, holding out or setting up, in this connection; as, with no exception the dullest student in school.
c Obs. In the doing of.
9. Indicating association by way of addition or supplement; specif.;
a Attended by; as well as, as, an astronomer with his students, is taking observations.
b Inclusive of; as, fifty dollars, with the bonus.
c Obs. Exclusive of; besides.
d Invoking, as a curse, at the same time upon the person concerned.
"Show your knave's visage, with a pox to you!" Shak.
e Giving, esp. in introduction to a refrain; as, with a cheer for every fellow.
f Having the fortune of; as, with good weather.
10. Indicating association in the way of possession, care, or attribute; specif.:
a In the possession of; under the guidance, charge, or command of; as, he left the box with me; to bring prenatal ideas with us.
b Having in one's possession or under one's care or direction; having or holding at the time in a specified position or relation; as, to arrive with good news; the firmament with its stars; a bride with a large fortune, with eyes wide open.
c Having as a characteristic; characterized by; as, with a hot temper; also, as an attribute of; as, to have a pleasing way with one.
d Despite having; notwithstanding; -- usually followed by all; as, a plan which, with all its appeal, will not work.
e So as to save; except at the cost or loss of; as, to escape with one's life; not attainable with honor.
11. Indicating association in the way of simultaneousness, specif.:
a At the time of; as the same time as; as, a circumstance attendant upon; at the time that a specified action is performed or experienced by; as, up with the first light; the wind often goes down with the sun.
b Immediately consequent upon; --with that and this, and formerly than.
With this he pointed to his face. Dryden.
c In accompaniment, and sometimes consequent, upon the duration or variation of; in proportion to; as, pressure varies with the depth; grief moderates with the years.
12. Indication association in respect of accompaniment, hence, alongside of; among; in the company of; as companion of; also, in attendance as guest or in the service of.
I will buy with you, sell with you, talk with you, walk with you and so following; but I will not eat with you, drink with you nor pray with you. Shak.
There is no living with thee nor without thee. Taller.
13. Indicating conjunction or contiguity; specif.;
a For consideration, or considered, besides or in the connection of ; as, part of the same group or the aggregate including; among; as, one week with another.
With the clear keen joyances Languour cannot be. Shelley.
b Containing as ingredient.
c Adjacent or joined to; in the same space as.
d Along in the same direction as; as, with the wind, grain, or current.
e Elliptically for with sugar, with cream, etc.; as, cold sherry with.
14. Indicating that from which, as being formerly near or closely or amicably connected, there is a separation; as, he parted with them at the crossroad; a break with Austria was imminent.
-- various phrases, as with all one's heart, to bear with, etc, are entered under with their respective nouns, verbs, etc.
Syn. See BY.
--with that. a Obs. Provided; if. b Obs. Moreover. c Thereupon; after that
--with the sun.
a In the same direction as the sun's apparent motion in the Northern Hemisphere, that is, from east to west or from east through south to west; clockwise; from right to left; to the left. Cf. against the sun, under AGAINST.
b At sunrise, or at sunset; hence, very early; as, to get up, or to go to bed, with the sun.
with adv.
With this or that person; together in association or time; with that; therewith. Obs.
with. A combining form of the adverb with, as in:
downwith inwith upwith
forthwith outwith wherewith
herewith therewith
withal adv.
Chiefly Archaic. With this or that, in various sense of with, esp.;
a Together with this; in addition to this; besides.
b By means of or on account of this.
c Immediately afterwards; thereupon.
d On the other hand; for all that; still.
How modest in exception, and withal.
How terrible in constant resolution. Shak.
withal prep.
With; --put after its object, often at the end of a cluse with an implied relative pronoun as object; as,
"a potsherd to scrape himself withal." Job ii. 8. Archaic.
This diamond he greets your wife withal. Shak.
[From Websters1949Unabridged.]
(c) 2004-2008 by
John Van Wie Bergamini.