On Fri, May 2, 2008 at 7:59 PM, Hahn, Harvey <[EMAIL PROTECTED]> wrote:
> Does such a facility exist?  Thanks in advance!

No such facility exists.

Personally, when I am trying to understand tacit expressions, I use
related expressions which capture or display intermediate results in
various ways.

For example:
   (+/ % #) 1 2 3

could be replaced by
   (+/ ; #)  1 2 3
or, if you prefer
   (+/ ,&< #) 1 2 3

or, I could use
   (([smoutput)@+/ : #) 1 2 3

or, I could use
   (+/ % (3 :'n=:y')@#) 1 2 3
   n

and so on...

Essentially, I perform experiments to figure out what
various parts of an expression do.  I find this extremely
helpful.

Also, I am not sure that an automatic tacit to explicit
converter would be very instructive.  The only elements
of a tacit expression which can be simply converted
to explicit form are those that have infinite rank.  And,
even there, it would need to make up variable names
in many cases.

-- 
Raul
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to