That does not account for sequencing of side effects between invocations of u and v. I like the nuvoc diagrams for this reason, even though they are a bit confusing, as they afford proper deference to the role of each v-result. The notion of 'output rank', while it cannot be part of the language, is important both for compilation and as a mental model.

On Mon, 27 Jun 2022, Raul Miller wrote:

On Mon, Jun 27, 2022 at 9:17 PM 'Pascal Jasmin' via Programming
<programm...@jsoftware.com> wrote:
Another way to state the equivalence of @, in linear form rather than tacitly

u"v [x] v y

That's indeed a valid way of describing @

(That said: that format would become cumbersome for some other
primitives. The dictionary format would work here and elsewhere, but
it unfortunately elides the "part of speech indicator" which english
language dictionaries typically provide.)

Thanks,

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

Reply via email to