Eh... your words here match the current j807 implementation, but... ar=:1 :'5!:1<''u''' n=:i.3 (n ar)`+:@.0 0 1 2 (n ar)`+:@.] 0 |domain error | (n ar)`+: @.]0 JVERSION Engine: j807/j64/darwin Beta-i: commercial/2018-08-22T13:29:30 ...
...but when I read the dictionary ( http://www.jsoftware.com/help/dictionary/d621.htm ), I see: "[email protected] is a verb defined by the gerund m with an agenda specified by n ; that is, the verb represented by the train selected from m by the indices n . If n is boxed, the train is parenthesized accordingly. The case [email protected] uses the result of the verb v to perform the selection." So, in other words, ((;:'*&'),<(;:'0'),<2)@.(i.3) *&2 exactly matches the dictionary requirement. But ((;:'*&'),<(;:'0'),<2)@.]i.3 |domain error conflicts with the dictionary's description. Or am I overlooking some part of the dictionary? Thanks, -- Raul On Wed, Sep 5, 2018 at 7:55 PM Henry Rich <[email protected]> wrote: > > On 9/5/2018 6:43 PM, Jose Mario Quintana wrote: > > My understanding is that the sentence, > > > > (;:'+/')@.0 1 > > +/ > > > > is legal (i.e., sanctioned by the dictionary). You apparently think it is > > not legal. Why? > [email protected] is different from [email protected] because [email protected] must be a verb and thus must > produce noun results when applied to nouns; that is why every box of m > in [email protected] must be the AR of a verb. > > [email protected] need not produce a verb & thus it is OK for that m to contain > non-verb ARs. By my reading, such an m is not a gerund. > > non-verb ARs are also not allowed as left operands to `: . > > We need a word for "something that can be the m in [email protected]" and it seems > clear to me that "gerund" is it. > > Henry Rich > > --- > This email has been checked for viruses by AVG. > https://www.avg.com > > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
