Suppose I have a recursive verb
([: $: >:)`]@.(3 < |)
And I want to name the components
increment =: [: $: >:
result =: ]
choose =: 3 < |
increment`[email protected] f.
3 : '[: $: >: y' :(4 : 'x [: $: >: y')`]@.(3 < |)
J carefully isolated recursion to the named verb
Thus I really want to, in symbolic language, Map f.
(increment f.)`(result f.)@.(choose f.)
([: $: >:)`]@.(3 < |)
Or in this case, simply
(increment f.)`[email protected] f.
([: $: >:)`]@.(3 < |)
Is there a way to map f. ? I tried literals with Define (5!:0) but of
course I'd need to construct a complicated boxed structure.
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
