[Jprogramming] Stacking by name

[Viktor Cerovski]

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.