On 7/1/07, Tracy Harms <[EMAIL PROTECTED]> wrote:
So far, I've been avoiding using the trace facility. I'm interested in J because I prefer working in terms of abstractions, so I'm inclined to focus on conceptualizing the relationships and transformations, rather than attending to transitory machine states. Perhaps the time has come, however, to add tracing to my studies.
I think you should still work on conceptualizing what's going on, but being able to test your conclusions also seems like a good idea.
On Sun Jul 1 13:39:23 HKT 2007 you wrote: > Note also that verbs of the form u\ use u > monadically, That is a breakthrough concept for me. Looking in the dictionary, I remain wholly unclear as to how to discover this fact, but your mentioning it greatly clarifies my efforts to comprehend the verb I wrote (triangularNumber).
Hmm... When I read http://www.jsoftware.com/help/dictionary/d430.htm I see it talking about applying u to y each of the prefixes of y (for prefix -- the monad case of verbs formed using \ ) and about applying u to each of the infixes of y (for infix -- the dyad case of verbs formed using \). And it even includes <\ examples. Perhaps you hadn't gotten around to studying the content from this page yet?
> Neither of the above are hooks. But ~ is an > adverb which always uses its verb dyadically.
...
So, going from +/\@:}.@:i.@:>: to +/\}.@:i.@:>: produces a hook, being: (+/\) (}.@:i.@:>:) ]
Oops! I apologize for the misunderstanding. I hope my mistake wasn't too annoying (or confusing) for you. Thanks, -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
