baa is a substring of the parenthesised representation of foo, inside balanced parentheses.
On Fri, Jul 20, 2012 at 6:06 AM, bill lam <[email protected]> wrote: > What is the relation with foo and baa? > > Птн, 20 Июл 2012, Ian Clark писал(а): >> foo=: (3 4$i.12)+/ .**: >> 5!:6 <'foo' >> (i.3 4) ((+/) .*) *: >> >> Try: baa=. (+/) >> or: baa=. ((+/) .*) >> or: baa=. (i.3 4) --Counterexample to conjecture 1: it's not a verb. >> >> >> On Fri, Jul 20, 2012 at 5:22 AM, bill lam <[email protected]> wrote: >> > I cannot understand your questions, could you give a simple and >> > concrete example? >> > >> > Птн, 20 Июл 2012, Ian Clark писал(а): >> >> For all my exposure to J, I can't answer the following simple(?) >> >> questions. Can someone help please? >> >> >> >> Take the fully parenthesized representation of a given tacit verb: foo >> >> (viz 5!:6 <'foo') >> >> --note: "verb", not "sentence" (which might be a noun). >> >> Take what's inside any pair of balanced parens: (...). Give it a name: >> >> baa, so we can formally replace (...) with (baa) . >> >> >> >> 1. Is baa always a verb? >> >> Answer: no, because I can make phrases like: (-~) appear. >> >> BUT are there only a small number of special cases I can detect >> >> and allow for, like (-~)? >> >> >> >> 2. If baa is not a verb, how can I determine its type? >> >> -short of actually assigning it to a local name: baa=. (...) and >> >> calling 4!:0<'baa' ? >> >> >> >> 3. Is there an easy way to tell if baa gets called monadically or >> >> dyadically, and if it gets the y-argument of foo -- and the x-arg too? >> >> Ignore the case of baa getting an intermediate noun -- I can >> >> determine this from the paren nesting structure. >> >> Ditto a constant. >> >> Note I'm only concerned with the output of 5!:6, not what's >> >> syntactically possible when a tacit verb can be entered by hand, where >> >> a phrase in parens can of course be a noun. >> >> >> >> >> >> I guess the answers can in principle be found from a very careful >> >> reading of Help > Dic > E. Parsing and execution, and F. Trains. But I >> >> must confess this is beyond me. Has the matter been summed-up >> >> elsewhere more clearly? >> >> >> >> (And -- no, I haven't forgotten tte.ijs.) >> >> >> >> Ian >> >> ---------------------------------------------------------------------- >> >> For information about J forums see http://www.jsoftware.com/forums.htm >> > >> > -- >> > regards, >> > ==================================================== >> > GPG key 1024D/4434BAB3 2008-08-24 >> > gpg --keyserver subkeys.pgp.net --recv-keys 4434BAB3 >> > ---------------------------------------------------------------------- >> > 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, > ==================================================== > GPG key 1024D/4434BAB3 2008-08-24 > gpg --keyserver subkeys.pgp.net --recv-keys 4434BAB3 > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
