It's okay Bill, I've located the one verb I've used in misc.ijs and copied it into tte.ijs.
It works fine now in JQt. But to run: tte.ijs -needs this line inserting in lablist.txt: Debug;Explicate a given tacit verb;~addons/debug/tte/tte.ijt open '~addons/labs/labs/lablist.txt' NB. -to do the hand-edit but I don't know how to fix lablist.txt via svn. On Thu, Sep 19, 2013 at 7:33 AM, bill lam <[email protected]> wrote: > Try load the specific script inside the specific misc folder > > require '~addons/.../misc/....ijs' > > On 19 Sep, 2013, at 1:49 PM, Ian Clark <[email protected]> wrote: > > > Further to this, I've uploaded a new addon: 'debug/tte' > > > > used like this: > > require 'debug/tte' > > mytacitverb tte > > > > Studio > Labs --shows a new lab under Category: Debug: > > Explicate (convert to explicit) a given tacit verb > > > > Or you can get some rough'n'ready documentation with: > > ABOUT_tte_ > > > > At present it only works under j602. When I try it under j64-801 it fails > > because: > > require 'misc' > > is no longer supported, giving the error: not found: > > /Applications/j64-801/bin/misc > > > > > > > > > > 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 > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
