Raul,
I'm beginning to understand your explanation of lfold=: {{ ]F..(u~) }} .
You're saying that j conjunctions have a left and right argument we call v
and u, respectively
(from the perspective of the interpreter).
In that context, u is on the right of the conjunction, and that's why you
used u here,
not because it's the u in Folds. That is confusing, but I can accept that.
Thank you, again,
On Tue, Dec 6, 2022 at 5:36 PM Raul Miller <rauldmil...@gmail.com> wrote:
> Context is important here.
>
> In
> lfold=: {{ ]F..(u~) }}
>
> The u for lfold is the v for F..
>
> The J parser is not going to interpret u or v according to some
> referenced definition -- it's going to interpret u or v according to
> the definition it's currently interpreting.
>
> The same holds for x and y.
>
> Consider this example:
>
> thing1=: {{ y thing2 x }}
> thing2=: ,&<
> thing1/i.3
> +-----+-+
> |+-+-+|0|
> ||2|1|| |
> |+-+-+| |
> +-----+-+
> thing2/i.3
> +-+-----+
> |0|+-+-+|
> | ||1|2||
> | |+-+-+|
> +-+-----+
>
> I hope this makes sense...
>
> --
> Raul
>
>
>
>
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
