It would be nice, as a service to newcomers, for this to be complete, or at least kept broadly up-to-date: http://www.jsoftware.com/jwiki/Guides/Tacit_to_explicit_roadmap so people don't have to stumble around in this rather important area.
PM me with what's missing and I'll do it. Or add it yourself... after all it *is* a wiki. On Mon, Sep 16, 2013 at 3:08 AM, Joe Bogner <[email protected]> wrote: > Thanks Ian. trace looks helpful too. I hadn't stumbled upon that yet. > > > On Sun, Sep 15, 2013 at 9:12 PM, Ian Clark <[email protected]> wrote: > > > 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 > > > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
