Let U, V, W, P, Q be dyads and

F =: dyad define
    (tmp U y) V x W y P tmp =. x Q y
)

Tacit form of F, for example, is

F =: (Q U ]) V [ W ] P Q

but in this definition Q is repeated.

1. Is it possible to convert definition of F to tacit form without repeating Q 
in definition? 
2. Does the interpreter recognize repetition of Q and evaluate Q only once? How 
to make the interpreter not evalute Q twice?

Thanks,
Martin
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to