Brian Schott wrote: > > The console session below is meant to suggest a way that execution can > be observed. Also, notice that one of the examples is an Adverb > execution and the other is a Bident. > > load'trace' > erase <'a' > 1 > a =. / > trace 'a /' > --------------- 3 Adverb ----- > a > / > a/ > ============================== > > trace 'a a' > --------------- 6 Bident ----- > a > a > a a > ============================== > Brian, I know both of these rules. My claim is that the evaluation rules of J can be formulated in such a way that both (a /) as well as (a a) are evaluated using the Bident rule without any effect on the results of an arbitrary J program, and because of that the above demonstration is irrelevant.
In particular, it doesn't explain why in the previous examples (v a) evaluated to v/ while (a a) evaluated to itself rather than // -- View this message in context: http://www.nabble.com/Stacking-by-name-tp24918138s24193p24988888.html Sent from the J Programming mailing list archive at Nabble.com. ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
