Thank you, Raul, Jose and Brian. trace.ijs is a great learning tool I missed from that page. Thank you for point me back to it.
JforC’s has an expanded section on parsing. That’s good read too. Thank you all. Maurice On Mon, Aug 13, 2018 at 6:22 PM Jose Mario Quintana < jose.mario.quint...@gmail.com> wrote: > Unassigned names are treated as verbs; see the text near the bottom of the > page, > > E. Parsing and Execution > http://www.jsoftware.com/help/dictionary/dicte.htm > > However, it is also puzzling because of the call-by-need strategy. In > particular, the model given in the DoJ for the determinant, > > DET=: 2 : 'v/@,`({."1 u . v $:@minors)@.(0<{:@$) @ ,. "2' > minors=: }."1 @ (1&([\.)) > > is not faithfull, > > v > |value error: v > > |: .v _1 > _1 > > but, > > |: DET v _1 NB. As you were expecting... > |value error: v > | |:DET v _1 > > also, > > |: . , _1 > _1 > |: DET , _1 > _1 0 > > The call-by-need is also apparent in the dyadic form of u .v (the dot > product), > > 2 v/ .* 3 > 6 > > and (then) not surprisingly in, > > v/ 6 > 6 > > I hope it helps > > > On Mon, Aug 13, 2018 at 1:08 PM, More Rice <mrmorer...@gmail.com> wrote: > > > Thank you, Jose. That's exactly what puzzles me. I didn't define b. I > > was expected some error from J. > > > > If b isn't defined, how can J determine what part of speech b is in to > > execute the sentence? (I thought how verbs got executed depends on it.) > > > > thanks. > > > > b > > > > |value error: b > > > > ;: '|. .b _1' > > > > ┌──┬─┬─┬──┐ > > > > │|.│.│b│_1│ > > > > └──┴─┴─┴──┘ > > > > |. .b _1 > > > > _1 > > > > On Mon, Aug 13, 2018 at 11:36 AM Jose Mario Quintana < > > jose.mario.quint...@gmail.com> wrote: > > > > > That is a good question because, depending on the shape of its > argument, > > > the product of the determinant u .v might be independent on how v is > > > defined or even if v is defined ( ( .v) alone is an adverb if v is a > > verb), > > > > > > > > > require > > > 3 : 0 > > > fls=. Loaded_j_ -.~ getscripts_j_ y > > > if. # fls do. load fls else. empty'' end. > > > ) > > > > > > |. .require _1 > > > _1 > > > > > > > > > erase'v' > > > > > > 1 > > > v > > > |value error: v > > > > > > |. .v _1 > > > _1 > > > > > > |. .require _1 0 1 2 3 > > > 3 2 1 0 _1 > > > > > > |. .v _1 0 1 2 3 > > > 3 2 1 0 _1 > > > > > > |. .require i.2 3 > > > |domain error: require > > > | |. .require i.2 3 > > > > > > |. .v i.2 3 > > > |value error: v > > > | |. .v i.2 3 > > > > > > J is very clever and this seems to be a case of a call-by-need. > > > > > > > > > > > > > > > On Mon, Aug 13, 2018 at 1:03 AM, More Rice <mrmorer...@gmail.com> > wrote: > > > > > > > Oh, sorry. My bad - I had a typo (.b instead of b.) in those “bad > > > > instances." Please ignore my previous email. > > > > > > > > what is .b in this context? > > > > > > > > thanks. > > > > > > > > > > > > Maurice > > > > > > > > > On Aug 13, 2018, at 12:36 AM, More Rice <mrmorer...@gmail.com> > > wrote: > > > > > > > > > > ref: https://code.jsoftware.com/wiki/Vocabulary/Inverses > > > > > > > > > > When I do v .b _1, I was expecting to see something close to the > > table > > > > on the page. > > > > > > > > > > Things went well for most, but then, at some point, v return value > > seem > > > > to change for reason I cannot explain. > > > > > > > > > > For example, |. b. _1 gives me |. (initially), and then changed to > _1 > > > > after tried other sentences. When that happens, other v (like +) > gives > > > me > > > > _1 as well. It persists across jqt restart and account logout. > > > > > > > > > > |. .b _1 > > > > > _1 > > > > > > > > > > Then, after running some sentences, it may return back to normal > > again. > > > > > > > > > > Is v b. _1 stable? > > > > > > > > > > thank you. > > > > > > > > > > > > > > > Maurice > > > > > > > > > > Engine: j806/j64/darwin > > > > > Release: commercial/2017-11-06T10:20:33 > > > > > Library: 8.06.09 > > > > > Qt IDE: 1.6.2s/5.6.3 > > > > > Platform: Darwin 64 > > > > > Installer: J806 install > > > > > > > > > > > > > > > > > > > ---------------------------------------------------------------------- > > > > 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 > > > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm -- Sent from mobile ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
