I am not understanding your question, yet. That said: require 'trace' trace '+/' --------------- 3 Adverb ----- + / +/ ==============================
Here, the adverb / combines with the verb + to create a new verb. trace '1+' --------------- 6 Bident ----- 1 + |syntax error: executet Here, the interpreter tries to treat 1 combined with + as a hook, but 1 is not a verb, so that fails. Note, by the way that verbs, adverbs and conjunctions are all "functions", but they have different grammatical types. Put differently, adverbs and conjunctions are in some ways similar to "macros" of other languages. They "act at parse time" instead "at evaluation time". That said there's a razor-thin distinction, in J, between "parse time" and "evaluation time" -- it's a bit confusing to try to explain syntax that way. So perhaps it's better to use J's grammatical terminology for describing the relevant states. -- Raul On Wed, Mar 21, 2012 at 3:53 PM, Alexander Epifanov <[email protected]> wrote: > Thanks all, > I have to read your mails very carefully, what is why I cannot answer quick. > > Raul, > (xyz) - I mean fork without spaces. > And (n u v) - I found from your link that (n u v) is a _special_form_ > of fork, it explains everything. > > Another question: > Do I understand that it is not correct to apply function-style to J? > How to explain: for example, its absolutely different expressions +/ > and 1+. You know, that there are no different between verb and noun, > that it is why it was a bit confusing that 1&+ is a function which > applied to parameter, and +&/ is something else, but looks like a > function, which applied to parameter (which is function). / is adverb, > which could not be split from adverb parameter (function). Correct? > > Regards, > > On Wed, Mar 21, 2012 at 7:33 PM, Raul Miller <[email protected]> wrote: >> Correct. >> >> A train is a sequence of verbs -- it parses as a zero or one hooks >> followed by zero or more forks. Here are some examples: >> >> hook: v1 v0 >> fork: v2 v1 v0 >> hook fork: v3 v2 v1 v0 >> fork fork: v4 v3 v2 v1 v0 >> hook fork fork: v5 v4 v3 v2 v1 v0 >> fork fork fork: v6 v5 v4 v3 v2 v1 v0 >> ... >> >> Note that my labels (left of the ':') are not valid J grammar, though >> they do describe something about the J grammar. >> >> You can use a noun in the leftmost tine of a fork. It will act as a >> verb with a constant result (and that result is the noun). The >> leftmost tine of a fork would be v2, v4 and/or v6 in the above >> examples. >> >> Here are those examples again with their implicit parenthesis shown: >> >> hook: (v1 v0) >> fork: (v2 v1 v0) >> hook fork: (v3 (v2 v1 v0)) >> fork fork: (v4 v3 (v2 v1 v0)) >> hook fork fork: (v5 (v4 v3 (v2 v1 v0))) >> fork fork fork: (v6 v5 (v4 v3 (v2 v1 v0))) >> ... >> >> >> -- >> Raul >> >> On Wed, Mar 21, 2012 at 11:14 AM, Alexander Epifanov <[email protected]> >> wrote: >>> # - verb, = - verb, 3 - not verb => its not a train => tacit, correct? >>> >>> On Wed, Mar 21, 2012 at 7:11 PM, Raul Miller <[email protected]> wrote: >>>> On Wed, Mar 21, 2012 at 5:20 AM, Ric Sherlock <[email protected]> wrote: >>>>> Note that 3&=@# isn't really tacit in the sense that you aren't using >>>>> forks or hooks. However you haven't referred to the arguments because >>>>> you were able to create the new verb by combining the noun and verbs >>>>> using conjunctions, so in that sense it is tacit. >>>> >>>> Not using hooks nor forks makes it "not a train". >>>> >>>> It's tacit. >>>> >>>> -- >>>> Raul >>>> ---------------------------------------------------------------------- >>>> For information about J forums see http://www.jsoftware.com/forums.htm >>> >>> >>> >>> -- >>> Regards, >>> Alexander. >>> ---------------------------------------------------------------------- >>> For information about J forums see http://www.jsoftware.com/forums.htm >> ---------------------------------------------------------------------- >> For information about J forums see http://www.jsoftware.com/forums.htm > > > > -- > Regards, > Alexander. > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
