---------- Forwarded message ----------
From: Henry Rich <[email protected]>
Date: 8 May 2016 at 12:17
Subject: In u^:v, v may not return a gerund (proposal)
To: [email protected]


I am working on an old problem:

f^:] 0&]`]

crashes, because executing ] creates a gerund, which executes to produce
the same gerund, etc.

The easiest fix is to decree that in u^:v, ([x]v y) may not produce a
gerund.  Similarly in the forms u^:[v0]`v1`v2, ([x] v1 y) may not produce a
gerund.

Anybody got a problem with that?  I can't think of any case where creating
a gerund makes any sense at all.

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

Reply via email to