Even without recursion during execution, defined inverses naturally need
to refer to undefined names:
action =: (...) :. inverse
inverse =: (...) :. action
Henry Rich
On 11/6/2019 12:03 PM, Raul Miller wrote:
This behavior enables the definition of recursive tacit verb systems
(which involve multiple verbs).
Technically, most practical recursive computations can be performed in
J without this. For example, numbers and numeric operations already
have recursive definitions and this can be used in many cases. Also,
arrays can be used iteratively to achieve the effects of recursive
definitions.
But, J was designed to present ideas in academic contexts (this is why
we have $: but also also why we have monadic definitions for <: >: -:
...).
So, anyways, in tacit expressions, J holds off finding the definitions
of named verbs until when it's being used. This allows tacit verb
definitions to reference verbs which have not yet been defined.
FYI,
--
This email has been checked for viruses by AVG.
https://www.avg.com
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
