Thank you so much. Now I understand. On Wed, 6 Nov 2019, 22:38 Henry Rich, <henryhr...@gmail.com> wrote:
> 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 > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
