I introduce the idea of redefining u"v such that:
u"v y <==> u"( v y) y
and
x u"v y <==> x u"(x v y) y
An alternative is to define a gerundial form of u"m . Right now u"m
for non-numeric m is a domain error (i.e. is meaningless). It could
be defined analogously to u^:m (or m} ).
I've put more detail at:
http://www.jsoftware.com/jwiki/System/Interpreter/Requests#head-8addaa5a93f632d809b613aa601c878dfb1b6e74
If you're interested, please read that and discuss there.
-Dan
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
