Devon McCormick wrote:
>
> Is there a way to specify adverbs or conjunctions tacitly?
>
For adverbs, there are two ways:
1. Simply string together any number of adverbs and you got a
new (tacit) adverb, eg /\~
2. Every conjunction with only one argument gives
you an adverb, according to the following eq.:
a conj b === a(conj b) === b (a conj)
where (conj b) and (a conj) are tacit adverbs.
The deepest result regarding tacit adverbs I've come up is that
any tacit verb V, no matter how long or complicated, can be
written in the form:
V === NV A,
where NV is exactly one either noun or verb from V,
and A is a string of simple adverbs of type 1. and 2.
mentioned earlier,
A === a1 a2 .... an
That's quite practical.
Regrading tacit conjunctions, as far as I know the only
thing you can do with them tacitly is give them different
names. The deepest result regarding tacit conj. I've
come up is that they don't exist in the tacit world :-)
in the sense of elementary category theory.
--
View this message in context:
http://old.nabble.com/Tacit-adverbs-and-conjunctions--tp32495588s24193p32496196.html
Sent from the J Programming mailing list archive at Nabble.com.
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
