Joe Bogner asks: " Is there a utility to generate an explicit definition from a tacit definition?"
There've certainly been attempts at one. There hasn't been any published improvement on this one by Zsban Ambrus: http://www.jsoftware.com/jwiki/Scripts/TacitToExplicit ...though I've had an add-on on the stocks, waiting to get properly tested for almost a year now. (Sorry... it was low priority.) I also wrote a "roadmap" a year ago to pull together all the relevant stuff on jwiki... http://www.jsoftware.com/jwiki/Guides/Tacit_to_explicit_roadmap ...but I notice I didn't finish it (it needs to mention Ambrus's "tte", and it's incomplete in "Approach #2"). On Sun, Sep 15, 2013 at 7:10 PM, Joe Bogner <[email protected]> wrote: > I'm learning the evaluation rules for tacit expressions, since that is > what's commonly posted as solutions. Is there a utility to generate an > explicit definition from a tacit definition? > > For example, to generate a tacit expression from explicit > > 13 : '(+/ y) % # y' > > +/ % # > > Is there some routine to expand that out? (I've now learned that its a > fork). It seems possible that it could expand out to multiple possible > variants -- since as I understand, it's a reduced form. I've looked at > fndisplay but didn't put too much time into it yet since I wasn't sure that > it's what I was looking for. > > > Along those same lines, j6 shows a representation of an expression in boxes > which I've found to be helpful to understand how an expression is grouped. > I haven't seen that same functionality in j7 or j8. Does it exist? > > I find myself spending a fair amount of time taking an expression and then > looking up its parts in the Vocabulary to understand what its doing. > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
