Look at Vocabulary/Parsing in the wiki. Execution of an adverb produces an anonymous entity, usually a verb.
Henry Rich On Sat, Jun 10, 2023, 10:40 PM Raul Miller <rauldmil...@gmail.com> wrote: > Adverbs are never dyadic. Nor are they monadic in the sense that verbs > are monadic. (An adverb takes a single left argument, a monadic verb > takes a single right argument.) > > If the result of the adverb is a verb (which is the case for built-in > adverbs, and many user defined adverbs), the resulting verb will carry > up to two definitions -- a monadic definition and a dyadic definition. > Which definition gets used depends on how that verb is used. If the > verb is used in a context where it doesn't have a definition, you get > an error. > > I hope this makes sense, > > -- > Raul > > On Sat, Jun 10, 2023 at 5:36 PM Raoul Schorer <raoul.scho...@gmail.com> > wrote: > > > > Hello, > > > > When an adverb is executed, it should follow line 3 of the parsing table > ( > > https://www.jsoftware.com/help/jforc/parsing_and_execution_ii.htm ). > But: > > > > > > - How does the interpreter know if it should execute the 'monadic' vs. > > 'dyadic' adverb, e.g. 'infix' or 'table' in the case of '/' ? > > - And how does the interpreter infer the definite resulting > > part-of-speech? Is there a check testing whether the result of the > adverb > > application is a procedure, and if so its arity? > > > > > > The documentation states that "In all cases the word replacing the > fragment > > has a definite part of speech, and if it is a verb, a definite rank". How > > this is achieved for all cases with an adverb is non-obvious to me... > > > > Thanks! > > Raoul > > ---------------------------------------------------------------------- > > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
