Are we reading the same text? "[email protected] is a verb..."
What is going on here? Thanks, -- Raul On Thu, Sep 6, 2018 at 11:18 AM Henry Rich <[email protected]> wrote: > > You must distinguish between [email protected] and [email protected] . [email protected] as in your > > (n ar)`+:@.] > > is contrained to produce a verb; moreover each AR must be that of a verb. > Further, the implementation requires v to produce an atom (presumably on > grounds of efficiency: you would be amazed at what Roger did to get efficient > execution of [email protected]). > > [email protected] is allowed to produce a non-verb (note that this is a dispensation from > Roger; Ye Dic as you quote below says the result should be a verb). > > I think none of that has changed for many releases; and any changes in the > future will be to bring the documentation in line with the implementation. > > Henry Rich > > > > On 9/6/2018 10:55 AM, Raul Miller wrote: > > 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, > > > > > --- > 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
