My question #2 had two clauses with opposite senses (i.e. it was an either/or question), so an unqualified "no" is an ambiguous response. Let me phrase it as a strict yes/no question:
Does x ]@(v) y necessarily produce the same result as x ]@v y ? I'm trying to prune out lines of inquiry which would be unsurprising or at least mundane. Since adverbs can see their entire verbal argument, phrases like ]@+/ and ]@(+/) are fundamentally different, even if they produce the same results when applied to arguments. In short, if my v is given access to the ]@ then all sorts of doors are opened (this is actually how most special code is implemented) and the puzzle is not so interesting. If, on the other hand, we're taking about a ]@(v) which differs from plain (v), that is very interesting; and if the DoJ does in fact legitimize it (or at least fail to prohibit it), then it is fascinating! -Dan Please excuse typos; composed on a handheld device. On Jun 7, 2013, at 4:39 PM, Henry Rich <[email protected]> wrote: > 1 yes; 2 no; 3 not exactly specified; guess incorrect > > Henry Rich > > On 6/7/2013 4:36 PM, Dan Bron wrote: >> Three questions: >> >> #1 Is v necessarily a verb? >> #2 Does the effect depend upon v being anonymous, or will it work >> if v is assigned to a name and/or wrapped in parens? >> #3 Is the effect indicated, contraindicated, or unspecified by the >> Dictionary? >> >> -Dan >> >> PS: My initial guess is this is almost certainly a bug introduced by some >> special-code optimization. >> >> >> -----Original Message----- >> From: [email protected] >> [mailto:[email protected]] On Behalf Of Henry Rich >> Sent: Friday, June 07, 2013 3:14 PM >> To: Programming forum >> Subject: [Jprogramming] A puzzle >> >> For what sort of v does >> >> ]@v >> >> give different results than >> >> v >> >> ? No side effects. >> >> >> 1 2 v 1 2 >> 2 4 >> 1 2 ]@v 1 2 >> 2 3 >> 3 4 >> >> >> Henry Rich >> ---------------------------------------------------------------------- >> 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
