You are welcome!
Actually, it is just an updated ancient J Pocket PC Reference Card http://www.jsoftware.com/pipermail/general/2000-November/004792.html I wanted to have a quick reference to highlight the implemented J extensions; I recalled that card and decided to update it. I learned a few things in the process such as ranks associated with adverbs and conjunctions; I even found some apparent discrepancies between the vocabulary specifications and ranks reported by the interpreter (shown in red in the cheat sheet). I reported some in http://www.jsoftware.com/pipermail/programming/2013-July/033151.html but I neglected to follow up with the rest. On Sun, May 4, 2014 at 11:03 PM, Steven Taylor <[email protected]> wrote: > The cheat sheet is a really nice summary. Thanks for taking the time to > put that together. > > -Steven > > > On 3 May 2014, at 22:10, Jose Mario Quintana < > [email protected]> wrote: > > > Personally, I find illuminating to rewrite (functionally) equivalent > verbs > > in J. Thus, one can rewrite the dyadic bonding form (X&u) as (X&u@[^:[) > and > > the hook (u v) as ([ u v@]). Moreover, symbolic verbs and nouns provide > a > > visualization and confirmation of tautologies. > > > > > > NB. Symbolic verbs and nouns... > > > > u=. ('('"_ , 'u '"_ , ] , ')'"_) :('('"_ , [ , ' u '"_ , ] , ')'"_) > > :.(('('"_ , 'u^:_1 '"_ , ] , ')'"_) :('('"_ , [ , ' u^:_1 '"_ , ] , > ')'"_)) > > v=. ('('"_ , 'v '"_ , ] , ')'"_) :('('"_ , [ , ' v '"_ , ] , ')'"_) > > :.(('('"_ , 'v^:_1 '"_ , ] , ')'"_) :('('"_ , [ , ' v^:_1 '"_ , ] , > ')'"_)) > > 'X Y'=. 'X' ; 'Y' > > > > u Y > > (u Y) > > X u Y > > (X u Y) > > > > v inv Y > > (v^:_1 Y) > > X v inv Y > > (X v^:_1 Y) > > > > > > NB. Bond (dyadic form), (X&u) -: (X&u@]^:[) ... > > > > (i:999) ( X&u -: X&u@]^:[ ) Y > > 1 > > > > (i:3) X&u Y > > (X u^:_1 (X u^:_1 (X u^:_1 Y))) > > (X u^:_1 (X u^:_1 Y)) > > (X u^:_1 Y) > > Y > > (X u Y) > > (X u (X u Y)) > > (X u (X u (X u Y))) > > > > (i:3) X&u@]^:[ Y > > (X u^:_1 (X u^:_1 (X u^:_1 Y))) > > (X u^:_1 (X u^:_1 Y)) > > (X u^:_1 Y) > > Y > > (X u Y) > > (X u (X u Y)) > > (X u (X u (X u Y))) > > > > > > NB. Hook, (u v) -: ([ u v@]) ... > > > > ( (u v) -: ([ u v@]) ) Y > > 1 > > > > X ( (u v) -: ([ u v@]) ) Y > > 1 > > > > > > (u v) Y > > (Y u (v Y)) > > X (u v) Y > > (X u (v Y)) > > > > ([ u v@]) Y > > (Y u (v Y)) > > X ([ u v@]) Y > > (X u (v Y)) > > > > > > Of course, matching symbolic verbs does not necessarily imply a general > > equivalence ; for example, the ranks of the verbs must be considered. > > > > > > Anyway, these and other tautologies are on page three of the cheatsheet > at > > http://www.2bestsystems.com/foundation/j/patches/j%20cheatsheet.pdf > > > > > > PS. J experts: I would appreciate if you point out any errors that you > > might find. > > > > > > > > On Sat, May 3, 2014 at 1:47 PM, Joe Bogner <[email protected]> wrote: > > > >> On May 3, 2014 1:33 PM, "Alex Giannakopoulos" <[email protected]> > >> wrote: > >>> > >>> Just FYI. > >>> I thought you might like the insight into the workings of the mind of a > >>> noob, since you went to all that trouble to help... > >>> > >>> > >> > >> I am glad you asked. I didn't know the answer until working through it. > >> > >> I assume it's like a class or like customer satisfaction -- for every > one > >> person that asks a question there is probably 4 wondering the same thing > >> ---------------------------------------------------------------------- > >> 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
